A repo used to teach an introduction to git