Step to reproduce:
- create an account
- create a public repo
- change username (and get some automatic redirection)
- try to change it back and get an error
Username change was not successful. The repository name `username1/myrepo` has been retired and cannot be reused
I read documentation about renaming and can’t see that you not allow to rename in back. I think that this is a bug with redirection. But if it’s not here PR in documentation
P.S. Yes I have a ticket #1180808 with this bug in github support but they not answer. Anyone can take my previous name but I am not.