Lean Zulip email digest

Stream: Zulip meta

[Ching-Tsun Chou]

Would it be possible for the following feature to be turned on for Lean Zulip?

https://zulip.com/help/digest-emails

[Julian Berman]

I'm no administrator of course but it seems slightly unfortunate from scanning that page if the choice is to turn it on and then individual users have to opt out. It seems to me like it's the sort of thing which should be opt in personally. My vague recollection is Slack works like this and turning off the digest is often the first thing I have to do when I'm forced into a new Slack.

[Notification Bot]

This topic was moved here from #general > Lean Zulip email digest by Kim Morrison.

[Kim Morrison]

Perhaps let's try this as a feature request for @Alya Abbott: could we enable email digests solely on an opt-in basis?

(I agree with Julian above that it would feel too spammy to turn these on for everyone.)

[Alya Abbott]

Yeah, it is indeed currently opt-out. This feature hasn't gotten much love since it was originally built ~10 years ago.

[Alya Abbott]

For reference, this is what the digest would look like: https://leanprover.zulipchat.com/digest/

[Alya Abbott]

I think we won't be making any improvements unless we decide to actually revamp it to make it nice.