[PATCH] Rename git-repo-config to git-config.