Stream: Coq Platform devs & users

Topic: Mailing list


view this post on Zulip 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.

view this post on Zulip Michael Soegtrop (Mar 07 2022 at 12:42):

Sounds reasonable. Can INRIA help with setting this up?

view this post on Zulip 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?

view this post on Zulip 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: Jan 30 2023 at 11:03 UTC