Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow points and dashes in the username #8266

Closed
wants to merge 3 commits into from

Conversation

denschub
Copy link
Member

@denschub denschub commented Jul 4, 2021

and some drive-by fixes. See the commit messages for context.

Special thanks to the owner of a 11+ years old Geraspora account who sent me a support mail about being unable to reset their password because User validation failed.

@denschub denschub requested a review from SuperTux88 July 4, 2021 19:06
This reverts b3ca504. We don't quite know why that was added, but we assume it's because of format strings. Some pre-2011 users exist that still have dots or dashes in their username, and those accounts are somewhat broken now.
Thss partly reverts a475d5f. The special case here was only ever used for the chat, which no longer exists.
Copy link
Member

@SuperTux88 SuperTux88 left a comment

Choose a reason for hiding this comment

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

LGTM 🍪

@SuperTux88 SuperTux88 closed this in 407f51d Jul 4, 2021
@SuperTux88
Copy link
Member

Merged as 407f51d and 805a35e backported to next-minor and as 0810fa7 to develop only.

Thanks for the PR 🍪

@SuperTux88 SuperTux88 added this to the 0.7.16.0 milestone Jul 4, 2021
@denschub denschub deleted the dotusers branch July 9, 2021 17:15
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.

2 participants