Testing how to rename a repository on github