Stream: Miscellaneous

Topic: Etiquette on cross-posting between discourse and Coq-club


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

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:22):

Do not cross post please

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:22):

Every new topic on Discourse is already cross-posted on Zulip by an automated bot.

view this post on Zulip Cyril Cohen (Jul 05 2020 at 15:22):

The common practice on usenets is "no cross post without follow-up to"

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:22):

Same for every new Coq question on Stack Overflow / Stack Exchange.

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

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 15:22):

not about zulip

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:22):

Oh sorry, I misread.

view this post on Zulip Cyril Cohen (Jul 05 2020 at 15:22):

So we should have policy that every open conversation should indicate where the discussion should happen.

view this post on Zulip Clément Pit-Claudel (Jul 05 2020 at 15:23):

Correct @Emilio Jesús Gallego Arias

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

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:23):

So that people start to learn that the place to go is Discourse nowadays.

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

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:24):

But first, I want to try this out for Coqdev

view this post on Zulip Clément Pit-Claudel (Jul 05 2020 at 15:24):

Sounds quite reasonable.

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:24):

You don't have to sign up to post to Discourse @Clément Pit-Claudel

view this post on Zulip Clément Pit-Claudel (Jul 05 2020 at 15:24):

Oh, really! Awesome

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:24):

You can post by e-mail.

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:24):

And this is documented here:

view this post on Zulip Clément Pit-Claudel (Jul 05 2020 at 15:24):

Wait wait
You can post by email without registering?

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:24):

https://github.com/coq/coq/wiki/Discourse

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:24):

Yes!

view this post on Zulip Clément Pit-Claudel (Jul 05 2020 at 15:25):

Fascinating. How do you reply to a post without being registered?

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

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:25):

Hum, that's a good point.

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:26):

Anyway my plan for Coqdev was the following:

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:26):

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:26):

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 15:26):

but I haven't had time to look into it precisely yet.

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

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

view this post on Zulip Clément Pit-Claudel (Jul 05 2020 at 15:28):

Sounds reasonable

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

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

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

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

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

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

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

view this post on Zulip 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: Aug 19 2022 at 19:03 UTC