Skip to content

Conversation

@virtuald
Copy link
Member

@virtuald virtuald commented Oct 5, 2025

@virtuald virtuald mentioned this pull request Oct 5, 2025
@virtuald virtuald force-pushed the ensure-case branch 5 times, most recently from 99942a9 to 67eada9 Compare October 5, 2025 04:16
@virtuald virtuald moved this to In progress in 2026 Season Oct 5, 2025
@virtuald virtuald moved this to In progress in 2027 Season Oct 5, 2025
@virtuald virtuald requested a review from auscompgeek October 5, 2025 04:22
Copy link
Member

@auscompgeek auscompgeek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, though using .casefold() would probably be more correct.

@virtuald virtuald merged commit 0b6520a into main Oct 5, 2025
7 checks passed
@virtuald virtuald deleted the ensure-case branch October 5, 2025 18:40
@github-project-automation github-project-automation bot moved this from In progress to Done in 2027 Season Oct 5, 2025
@virtuald virtuald moved this from In progress to Done in 2026 Season Oct 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done
Status: Done

Development

Successfully merging this pull request may close these issues.

deploy does not catch incorrect robot.py filename case

2 participants