Code

autoconf: check whether to use git-config or git-repo-config