admins

Stream: Zulip meta

[Johan Commelin]

@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]

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]

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]

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]

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]

perhaps the lack of anonymity contributes to the lack of trolling

[Johan Commelin]

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

[Kevin Buzzard]

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

[Jalex Stark]

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

[Mario Carneiro]

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

[Johan Commelin]

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

[Mario Carneiro]

aha

[Jalex Stark]

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]

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]

Hmm, I see. Forget what I said then.

[Jalex Stark]

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]

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

[Mario Carneiro]

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

[Jalex Stark]

okay, I'll experiment with that more.