Learn more about these different git repos.
Other Git URLs
7703e13
- drop references to a cert PIN, because we don't encrypt them anyway