A repo for teaching git