A Repository for the Git Workshop