Learn more about these different git repos.
Other Git URLs
6a1deab
Warn visibly about permission problems with the config file Fixes: #268