rename a repository name of GitHub