Didn't know renaming a repo was this straightforward in Github: https://help.github.com/en/github/administering-a-repository...