How to rename a GitHub repository with Git example — Blankdot