intro-git-workshop Introductory workshop on using Git (version control) and Github (sharing and collaboration)