The source project of this merge request has been removed.
Draft: Enable GitLab CI for EduGit Pages
This enables the build of the website in the CI, and publication on EduGit pages.
The build instructions do not work, though, so this errors out. Once the websit ebuild itself is fixed, we can continue enabling EduGit Pages.