Learn more about these different git repos.
Other Git URLs
871542f
Removing comment as per robyduck's statement in PR#640