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