fix git-repo name