Stream: Coq devs & plugin devs

Topic: coq.gitlab.io issues and MR

view this post on Zulip Emilio Jesús Gallego Arias (Oct 05 2022 at 16:39):

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

view this post on Zulip Gaëtan Gilbert (Oct 05 2022 at 16:58):

should we delete that repo?

view this post on Zulip Emilio Jesús Gallego Arias (Oct 05 2022 at 16:58):

I have no idea

view this post on Zulip Maxime Dénès (Oct 05 2022 at 18:04):

I think we can keep it, because this effort will probably be revived soon.

view this post on Zulip Maxime Dénès (Oct 05 2022 at 18:04):

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.

view this post on Zulip Maxime Dénès (Oct 05 2022 at 18:05):

My hope is we could move the heavy artifacts to S3 buckets and deploy the pages using gitlab pages or github pages.

view this post on Zulip Maxime Dénès (Oct 05 2022 at 18:06):

This repo has a few interesting issues tracking the problems we may still have to solve to implement this plan.

view this post on Zulip Emilio Jesús Gallego Arias (Oct 05 2022 at 22:44):

We have coq.github.io tho, maybe Gaëtan means that the gitlab stuff was obsoleted?

view this post on Zulip Théo Zimmermann (Oct 06 2022 at 07:48):

This is only used for https://coq.github.io/doc/ so far.

view this post on Zulip Théo Zimmermann (Oct 06 2022 at 07:48):

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: Oct 12 2024 at 12:01 UTC