Make git-repo-config a builtin