I like the way gitlab approaches this. On gitlab if you change your username, the old username can't be used by anyone again. I have faced this problem with gi

I like the way gitlab approaches this. On gitlab if you change your username, the old username can't be used by anyone again. I have faced this problem with github. I changed my username. The very next day, someone created an account with my old username and now all my resume, old profiles etc. were pointing to an empty github account. :(