allow more people to edit topics / change streams

Stream: Zulip meta

[Scott Morrison]

I propose that we allow more people permission to edit topics and change the streams of topics. It seems we fairly often want to do this, and it is sufficiently harmless that there is little risk.

[Scott Morrison]

One solution would be to allow everyone to do this.

[Scott Morrison]

Another is that there is a class of user called "moderator", which currently we don't seem to make use of. I could allow moderators this permission, then bump up a big cohort of people to that.

[Mario Carneiro]

Scott Morrison said:

One solution would be to allow everyone to do this.

I agree that moving topics between streams does not need to be behind the moderator flag, but I would not want arbitrary users to have access to all the other things that moderators can do

[Mario Carneiro]

I've changed the settings so that "Who can edit the topic of any message" and "Who can move messages between streams" is available to admins and moderators instead of just admins. We should probably make more people zulip moderators, at the very least the actual maintainers

[Mario Carneiro]

Er, I guess that's what your second proposal was anyway. Hopefully I didn't step on any toes

[Scott Morrison]

Okay, I just promoted everyone in the "maintainers" user group to the "moderator" Zulip role.

[Scott Morrison]

The main effect of this, following Mario's change, is that now all @maintainers can edit topic titles, and change the streams of topics.

[Scott Morrison]

I don't think there's any particular reason that mathlib maintainers and zulip moderators need to coincide exactly, so if anyone wants to (self-)nominate zulip moderator status for someone, just say so.

[Notification Bot]

Floris van Doorn has marked this topic as resolved.

[Notification Bot]

Floris van Doorn has marked this topic as unresolved.

[Floris van Doorn]

Just testing my new powers :)

[Scott Morrison]

It's a pity the notification bot says anything. I think this would be more useful without.

[Mario Carneiro]

My guess is they are trying to act like github issues. Having the bot messages puts the timing of the resolution in context

[Johan Commelin]

It could probably done while taking less vertical space. Similar to the horizontal rule that marks midnight. That's unobtrusive.

[Huỳnh Trần Khanh]

do the zulip maintainers monitor this stream?

[Huỳnh Trần Khanh]

this seems like a p neat idea

[Mario Carneiro]

I think they have appeared occasionally, but it's usually a lot more effective to just open an issue on the zulip github