Learn more about these different git repos.
Other Git URLs
1bd1457
- make sure we don't notify more than we have to