Notes for a workshop on using git and github