Learn more about these different git repos.
Other Git URLs
0b4065d
- another attempt at handling murky defaults