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?
Do not cross post please
Every new topic on Discourse is already cross-posted on Zulip by an automated bot.
The common practice on usenets is "no cross post without follow-up to"
Same for every new Coq question on Stack Overflow / Stack Exchange.
@Théo Zimmermann @Clément Pit-Claudel is talking about coq-club + discourse I think
not about zulip
Oh sorry, I misread.
So we should have policy that every open conversation should indicate where the discussion should happen.
Correct @Emilio Jesús Gallego Arias
Regarding Coq-Club, my intention was to look into solutions to have everything that happens in Discourse relayed on Coq-Club.
So that people start to learn that the place to go is Discourse nowadays.
@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.
But first, I want to try this out for Coqdev
Sounds quite reasonable.
You don't have to sign up to post to Discourse @Clément Pit-Claudel
Oh, really! Awesome
You can post by e-mail.
And this is documented here:
Wait wait
You can post by email without registering?
https://github.com/coq/coq/wiki/Discourse
Yes!
Fascinating. How do you reply to a post without being registered?
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
Hum, that's a good point.
Anyway my plan for Coqdev was the following:
but I haven't had time to look into it precisely yet.
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.
For Coq-Club, I wouldn't relay all messages sent to Coq-Club to Discourse, but only replies to existing threads...
Sounds reasonable
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?
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.
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.
@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.
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
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.
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
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