Stream: Miscellaneous

Topic: Permissions


view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:35):

@Cyril Cohen how have the permissions been set on Zulip? Gitter did sync with github ones, so developers had the right access level; here I guess it is a separate issue?

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:36):

cc @Théo Zimmermann

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:38):

Permission management is pretty limited on Zulip and indeed, they are disconnected from GitHub.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:38):

Basically, there are only two roles: admins and members.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:38):

It's a bit of a shame that we cannot have anything in between.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:38):

But fortunately, most common stuff can be done by members, so admin's intervention is rarely needed.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:39):

For instance, renaming topics can be done by any member. However, moving a topic between streams has to be done by an admin. I can check if that can be configured.

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:40):

How are these sets set?

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:40):

Indeed, I confirm that this cannot be configured. Permission configuration is very very limited.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:42):

Emilio Jesús Gallego Arias said:

How are these sets set?

There are only two admins for now: @Cyril Cohen and myself (as mentioned in the "Welcome to Zulip" topic). We could add a few more, but it would have to be done manually (like on Discourse).

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:42):

Let's discuss this at the Coq Call if you want (as the same issue also applies to Discourse in fact).

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:43):

(except that at least on Discourse, we can have moderators)


Last updated: Sep 25 2023 at 12:01 UTC