Code for my "debugging with git" demo