Learn more about these different git repos.
Other Git URLs
dad3be5
sort out some defaults, don't assume there's a CSR