Stream: Coq users

Topic: ✔ Cross post discourse and coq-club


view this post on Zulip Yannick Forster (Dec 12 2023 at 16:10):

I remember that there is a way to cross-post to the announcements of discourse and coq-club at the same time. Is that an automatic thing, or do I need to do anything specific if I want to post on both? (I gues @Théo Zimmermann or @Karl Palmskog might be good people to ask)

view this post on Zulip Théo Zimmermann (Dec 12 2023 at 16:10):

You just need to send the announcement by e-mail with several recipients. See https://github.com/coq/coq/wiki/Discourse

view this post on Zulip Yannick Forster (Dec 12 2023 at 16:16):

Thank you :)

view this post on Zulip Notification Bot (Dec 12 2023 at 16:16):

Yannick Forster has marked this topic as resolved.


Last updated: Jun 23 2024 at 05:02 UTC