Zulip Chat Archive

Stream: Zulip meta

Topic: admins

Johan Commelin (May 09 2020 at 03:05):

@Mario Carneiro @Rob Lewis @Sebastian Ullrich what do you think of having a bit more Zulip admins. (I don't need/want to be one.) Given that our community is pretty active, it might be nice to have 6 ~ 8 admins, spread around the globe a bit (if possible). It's not that we need to moderate often. But if something comes up: better safe then sorry. I'll leave it to you to decide whether you want this, and which trusted members of the community you want to endow with more power (-;

Mario Carneiro (May 09 2020 at 04:22):

The main reason I've kept it small is that there aren't actually that many things that a Zulip admin is required to do, demand is low (by contrast to mathlib maintainers, which are dealing with the flood of multiple PRs per day).

Mario Carneiro (May 09 2020 at 04:23):

Also I don't think there has ever been an issue requiring immediate attention from an admin, so it's not a huge problem to wait for one to wake up.

Kevin Buzzard (May 09 2020 at 07:25):

There is no spam and no obnoxious users (yet) -- I don't quite know how we got away with this, maybe the community is just too small

Kevin Buzzard (May 09 2020 at 07:27):

Also, the number of times when a normal user needs to ask an admin to do something seems to be small as well, although recent ideas of Jalex and others has pushed this up a bit

Kenny Lau (May 09 2020 at 07:27):

perhaps the lack of anonymity contributes to the lack of trolling

Johan Commelin (May 09 2020 at 07:27):

People still don't know my real name :rofl:

Kevin Buzzard (May 09 2020 at 07:27):

The ideas have been good though so it's hardly onerous to implement them

Jalex Stark (May 17 2020 at 14:20):

@Johan Commelin points out that "move topics between streams" is an admin privelege, and I think it's underused

Mario Carneiro (May 17 2020 at 17:42):

I don't see a place to do that in the interface

Johan Commelin (May 17 2020 at 18:06):

When you edit a post, you can change the title, and as admin you can also change the stream

Mario Carneiro (May 17 2020 at 18:07):


Jalex Stark (May 19 2020 at 01:56):

here's an instance of us wanting to do this
Yury G. Kudryashov said:

I suggest that you move discussion about homotopy to #maths

Mario Carneiro (May 19 2020 at 02:01):

I'm pretty sure the only thing I can do is change the topic/stream of everything after a certain point, which means that if an off topic discussion starts happening interleaved with on topic discussion it gets difficult to untangle. It seems pretty rare for this topic moving ability to exactly match the circumstance

Johan Commelin (May 19 2020 at 04:50):

Hmm, I see. Forget what I said then.

Jalex Stark (May 19 2020 at 04:58):

I think in general there are still many instance where it's net positive, and that the homotopy discussion is one of them

Jalex Stark (May 19 2020 at 04:58):

but maybe it's more bad to get it wrong than it is good to get it right

Mario Carneiro (May 19 2020 at 05:02):

I would suggest simply redirecting the rest of the thread to the other stream, and linking to it

Jalex Stark (May 19 2020 at 05:04):

okay, I'll experiment with that more.

Last updated: Dec 20 2023 at 11:08 UTC