GitHub repository: DaveDRoberts/super_project
Description: A Git repository used as part of the "Git for collaboration" workshop, to teach collaboration