github-workshop Repo for use in the introductory github workshop Hello everyone! It is a pleasure to be here with you..