Demo repository for CS3733 lecture on debugging with Git