Learn more about these different git repos.
Other Git URLs
5e6eb92
credits.md: Added 2019/2020 students