Skip to content

Conversation

@pcuenca
Copy link
Member

@pcuenca pcuenca commented Dec 18, 2025

Screenshot 2025-12-18 at 13 04 44

Copy link
Member

@julien-c julien-c left a comment

Choose a reason for hiding this comment

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

oh interesting

@pcuenca
Copy link
Member Author

pcuenca commented Dec 18, 2025

Let's merge and see.

@pcuenca pcuenca merged commit ee0dc06 into main Dec 18, 2025
1 check passed
@pcuenca pcuenca deleted the pcuenca-patch-4 branch December 18, 2025 12:51
@pcuenca
Copy link
Member Author

pcuenca commented Dec 18, 2025

It worked, will do a quick pass through others.

Screenshot 2025-12-18 at 13 53 04

cc @Rocketknight1 lol

@Rocketknight1
Copy link
Member

Thanks for restoring me to my rightful place!

@julien-c
Copy link
Member

maybe cc @mishig25 idk if this was case-insensitive in the past, but i assume it was?

@mishig25
Copy link
Contributor

it was case-sensetive as of October #3145

@pcuenca
Copy link
Member Author

pcuenca commented Dec 18, 2025

Cursor helped me find a few suspects #3235. There are also some true 404s. I can review them all unless we plan to go to case insensitive.

@Wauplin
Copy link
Contributor

Wauplin commented Dec 18, 2025

Note that we can't avoid 404 in theory since users can rename themselves (but still better to have most of them fixed)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants