Add --global option to git-repo-config.