Learn more about these different git repos.
Other Git URLs
95da36d
- offer to read the submitter name from the configuration file