change the git repository name in github.