Learn more about these different git repos.
Other Git URLs
f1e6368
credits.md: remove initial dashes They do not produce any useful information and look bad in doxygen