A GitHub repo designed to show my students the basics of version control