An introduction to Git for ITLP http://courses.it.ox.ac.uk/detail/TDO3