remove another instance of "git repo-config"