GitLab

Created by: fenhl

I first signed up to gitlab.com through Twitter, which assigned me the username Fenhl (presumably because I'm Fenhl on Twitter). However, I like to use the lowercase version as a username on sites like github or gitlab, so I tried to change it. The error message that the username was already taken showed up. I had to delete the account and sign up manually as fenhl.

I assume that the issue here is that when a user requests to change their username, the system checks whether the new username already exists on the system. Since the new username is the same as the current username when doing case-insensitive comparison, this causes the check to fail. So, to fix this, there should be an additional check if the new username is the same as the current username when doing case-insensitive comparison, and if so, allow the name change anyway.