Notes on using Git