Git tutorial for beginners, a la https://speakerdeck.com/erinjoan/git-for-absolute-beginners