Learn more about these different git repos.
Other Git URLs
8681965
Fix a small race condition. (maybe)