Learn more about these different git repos.
Other Git URLs
522c7cd
cli: ensure that (error) logging works even without --debug