Learn more about these different git repos.
Other Git URLs
022ee9d
do not break things when mergerepo_c version is not detectable