Learn more about these different git repos.
Other Git URLs
a87e9e6
Rewrite; Add dist-git sanity check