More stuff for the git introduction.