Introduction to git

One-session introduction to git (first given in Tilburg 2016)