A repository built for teaching git