Repository for the git workshop