Repository for an introductory workshop on Git and GitHub