The Git repo for the SEPR VCS lecture