Notes on teaching git