Learn more about these different git repos.
Other Git URLs
8d5a44a
credits: add thank you note to minor contributors