I wonder if this check in configure should not be removed anyway,
since it is starting to be a long time since git-repo-config was
renamed.
Speaking from a packaging standpoint, as this is the only reason
git-core is a build dependency I would vote to get rid of it.
(I currently already patch the configure so I can build without git-core
installed)