The git tutorial from SICM2