Repository for a course on git