Learn more about these different git repos.
Other Git URLs
6f10d22
Some formatting to infra-repo and tell how to manually update the repo