Here you are - you can see that in October I made a push, then it was blocked, then I did it again and it went through.
No changes to the username obviously.
Nothing was changed whatsoever on github side.
Happy to provide any more screenshots, but let me know what is needed.
