Notes for understanding git