Learn more about these different git repos.
Other Git URLs
1c9e356
Don't checkin if not configured for it.