Learn more about these different git repos.
Other Git URLs
6171d7b
get options before accessing options.logfile