Here I remind myself how to use git and github