Hi folks, I've noticed there are some issues and MR open on https://gitlab.com/coq/coq.gitlab.io , I think we may want to clean them up
should we delete that repo?
I have no idea
I think we can keep it, because this effort will probably be revived soon.
We recently had a brief interruption of the web hosting of the Coq website because we are using a fairly fragile process to pay for it on the Inria side.
My hope is we could move the heavy artifacts to S3 buckets and deploy the pages using gitlab pages or github pages.
This repo has a few interesting issues tracking the problems we may still have to solve to implement this plan.
We have coq.github.io tho, maybe Gaëtan means that the gitlab stuff was obsoleted?
This is only used for https://coq.github.io/doc/ so far.
So I don't think it tries to tackle the same thing (although GitHub pages is of course an option as Maxime explained).
Last updated: Dec 01 2023 at 06:01 UTC