search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Archive the news section. #169

Closed Zimmi48 closed 3 years ago

Zimmi48 commented 3 years ago

The news section isn't used anymore except to announce new releases. We've recently acted that we wouldn't announce Coq releases anymore, only Coq platform releases. The last Coq platform release was announced on GitHub + Coq-Club + Discourse but not on the website for lack of time. Removing the news section would reduce the work of platform maintainers.

My proposal is a minimal change. I didn't remove the code that was able to generate the last three news items for the side-bar. I didn't remove the side-bar. I'm aware it is far from ideal but I'm also counting on a website redesign in (let's say) less than a year, and trying to focus on the content first.

Main page: old-news

News page: old-news-2

cc @herbelin who expressed the idea of linking to the pages that are actually used for announcements nowadays cc @gares who managed or contributed to recent releases of both Coq and the Coq platform

herbelin commented 3 years ago

cc @herbelin:

ok to me

gares commented 3 years ago

please open an issue to leave a trace the news "system" has to be removed.

Zimmi48 commented 3 years ago

OK will do when merging this PR.

I'll add the PR to the agenda for the next call, to be sure there is no opposition.