No news (use Twitter instead), no version (direct to the platform).

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

No news (use Twitter instead), no version (direct to the platform). #160

Closed Zimmi48 closed 3 years ago

Zimmi48 commented 3 years ago

Since with CEP#52 the plan is to stop advertising Coq releases directly to users but to direct them to the Coq platform instead (whose releases will be widely announced), this is a (very sketchy) proposal to remove any website update task for the release managers of Coq.

Here's a screenshot:

2020-12-30-184554_994x847_scrot