Clément Pit-Claudel (Jul 05 2020 at 15:21): Clément Pit-Claudel (Jul 05 2020 at 15:21):What's the etiquette about posting to discourse and Coq-club? In recent weeks we've seen discussions split across both with people duplicating effort (which isn't great), but the alternative (posting on just one list) is not great either since not everyone follows both. Is it acceptable to cross-post, assuming the cross-post is mentioned in the email?
Théo Zimmermann (Jul 05 2020 at 15:22):Do not cross post please
Théo Zimmermann (Jul 05 2020 at 15:22):Every new topic on Discourse is already cross-posted on Zulip by an automated bot.
Cyril Cohen (Jul 05 2020 at 15:22):The common practice on usenets is "no cross post without follow-up to"
Théo Zimmermann (Jul 05 2020 at 15:22):Same for every new Coq question on Stack Overflow / Stack Exchange.
Emilio Jesús Gallego Arias (Jul 05 2020 at 15:22):@Théo Zimmermann @Clément Pit-Claudel is talking about coq-club + discourse I think
Emilio Jesús Gallego Arias (Jul 05 2020 at 15:22):not about zulip
Théo Zimmermann (Jul 05 2020 at 15:22):Oh sorry, I misread.
Cyril Cohen (Jul 05 2020 at 15:22):So we should have policy that every open conversation should indicate where the discussion should happen.
Clément Pit-Claudel (Jul 05 2020 at 15:23):Correct @Emilio Jesús Gallego Arias
Théo Zimmermann (Jul 05 2020 at 15:23):Regarding Coq-Club, my intention was to look into solutions to have everything that happens in Discourse relayed on Coq-Club.
Théo Zimmermann (Jul 05 2020 at 15:23):So that people start to learn that the place to go is Discourse nowadays.
Clément Pit-Claudel (Jul 05 2020 at 15:24):@Cyril Cohen that policy is still followed on mailing lists I think, but that works best if everyone can post to both. With discourse you have to sign up.
Théo Zimmermann (Jul 05 2020 at 15:24):But first, I want to try this out for Coqdev
Clément Pit-Claudel (Jul 05 2020 at 15:24):Sounds quite reasonable.
Théo Zimmermann (Jul 05 2020 at 15:24):You don't have to sign up to post to Discourse @Clément Pit-Claudel
Clément Pit-Claudel (Jul 05 2020 at 15:24):Oh, really! Awesome
Théo Zimmermann (Jul 05 2020 at 15:24):You can post by e-mail.
Théo Zimmermann (Jul 05 2020 at 15:24):And this is documented here:
Clément Pit-Claudel (Jul 05 2020 at 15:24):Wait wait
You can post by email without registering?
Théo Zimmermann (Jul 05 2020 at 15:24):https://github.com/coq/coq/wiki/Discourse
Théo Zimmermann (Jul 05 2020 at 15:24):Yes!
Clément Pit-Claudel (Jul 05 2020 at 15:25):Fascinating. How do you reply to a post without being registered?
Clément Pit-Claudel (Jul 05 2020 at 15:25):I see You can post a new message on an existing topic by replying to the e-mail notification., but that requires getting the notification in the first place
Théo Zimmermann (Jul 05 2020 at 15:25):Hum, that's a good point.
Théo Zimmermann (Jul 05 2020 at 15:26):Anyway my plan for Coqdev was the following:
Théo Zimmermann (Jul 05 2020 at 15:26): Théo Zimmermann (Jul 05 2020 at 15:26): Théo Zimmermann (Jul 05 2020 at 15:26):but I haven't had time to look into it precisely yet.
Clément Pit-Claudel (Jul 05 2020 at 15:27):I like this plan. If we can find a way to allow replies to those coq-dev threads to go to discourse, it would be very smooth.
Théo Zimmermann (Jul 05 2020 at 15:27):For Coq-Club, I wouldn't relay all messages sent to Coq-Club to Discourse, but only replies to existing threads...
Clément Pit-Claudel (Jul 05 2020 at 15:28):Sounds reasonable
Clément Pit-Claudel (Jul 05 2020 at 15:31):So for now I'll cross-post topics that I don't expect too much interaction on (and only if they seem interesting enough to warrant posting to both), and encourage follow-ups on discourse. Sounds good?
Kartik Singhal (Jul 05 2020 at 16:14):Unsure if it makes sense to be able to reply without having an account on Discourse. But there is some more documentation on using it as a mailing list on Mozilla Discourse that may be helpful to ease the transition from mailing list over time.
Ralf Jung (Aug 18 2020 at 06:33):Théo Zimmermann said:
You don't have to sign up to post to Discourse Clément Pit-Claudel
are you sure about that? AFAIK you have to have an account. it's just once you have one you can post via email.
but I haven't tried this.
Ralf Jung (Aug 18 2020 at 06:33):@Clément Pit-Claudel besides replying to an existing post, one can for each discourse "topic" configure an email address where one can send emails to start a new thread.
Ralf Jung (Aug 18 2020 at 06:47):Kartik Singhal said:
Unsure if it makes sense to be able to reply without having an account on Discourse. But there is some more documentation on using it as a mailing list on Mozilla Discourse that may be helpful to ease the transition from mailing list over time.
that page says
Make sure you send from one of your account’s email addresses 54, otherwise the email could get rejected or could get caught in moderation.
so you probably need an account
Théo Zimmermann (Aug 18 2020 at 16:02):Ralf Jung said:
Théo Zimmermann said:
You don't have to sign up to post to Discourse Clément Pit-Claudel
are you sure about that? AFAIK you have to have an account. it's just once you have one you can post via email.
but I haven't tried this.
Yes, I'm sure. It's an option that I've activated on our instance.
Théo Zimmermann (Aug 18 2020 at 16:03):Ralf Jung said:
Clément Pit-Claudel besides replying to an existing post, one can for each discourse "topic" configure an email address where one can send emails to start a new thread.
And this is already done, as is explained on the wiki page: https://github.com/coq/coq/wiki/Discourse
Ralf Jung (Aug 18 2020 at 17:01):Yes, I'm sure. It's an option that I've activated on our instance.
nice :) TIL
Last updated: Dec 07 2023 at 04:02 UTC