Théo Zimmermann (Mar 07 2022 at 12:37): Théo Zimmermann (Mar 07 2022 at 12:37):The issue with mailing lists is archival / browsing without being subscribed, which can be quite challenging. I would recommend using Discourse for anything that is mailing-list like (we could add a new category in the Coq Discourse), possibly with a redirection of all Discourse messages in said category to a mailing list that people can subscribe to (but not send to) if people find it easier to subscribe that way.
Michael Soegtrop (Mar 07 2022 at 12:42):Sounds reasonable. Can INRIA help with setting this up?
Théo Zimmermann (Mar 07 2022 at 12:45):Yes, Inria can provide the mailing list hosting and I can take care of administrating the mailing list and creating the Discourse category (and setting the redirection). Can you give me a timeline of when you would appreciate having this available?
Michael Soegtrop (Mar 07 2022 at 12:52):I would say in one or two months. After the 2022.3 release I wanted to review the processes and update the documentation - this would be a good opportunity.
Last updated: Jun 03 2023 at 03:01 UTC