Notes on using github