Notes on how to use git