Learn more about these different git repos.
Other Git URLs
d2d10ef
Adding mirror files for debug and source repos.