The source project of this merge request has been removed.
Add GitLab CI pipeline for Pages
GitLab Pages doesn't just suck up static content in a repository: it requires a GitLab CI pipeline to be run which puts the desired content into a public/
artifacts directory (so, e.g., you can run a static site generator like Jekyll or Hugo).
I've made the simplest possible pipeline, and will insta-merge this to unbreak poppler.fd.o after moving its hosting.