workshop-common Common configuration of githubpages for workshops See workshop-howto for instructions for creating and updating a course.