Yannick Forster (Dec 12 2023 at 16:10): 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)
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
Yannick Forster (Dec 12 2023 at 16:16):Thank you :)
Notification Bot (Dec 12 2023 at 16:16):Yannick Forster has marked this topic as resolved.
Last updated: Oct 08 2024 at 15:02 UTC