creating channels

Stream: Zulip meta

[Anthony Bordg]

Is it possible for a group to create a new channel to discuss its day-to-day activities? Apparently as a user I don't have the right to create new channels.

[Jireh Loreaux]

That sounds like the job of a thread within a channel? The short answer is no, you would have to ask the moderators (the Lean Zulip ones).

[Floris van Doorn]

Yes, we regularly create small private channels for local groups. I sent you a direct message.

[Kim Morrison]

With the caveat that we require that there is a designated moderator of that private channel, known to the mathlib maintainers or leanprover-community admin team, who will ensure that any code of conduct issues occurring in that channel are raised with the CoC team!

[Kevin Buzzard]

Related: am I supposed to announce to other maintainers/admin people when I create a new private channel? I'm currently running a computational algebraic geometry workshop in Durham UK and I just (the other day) created a private channel like we always do with these things; I'm monitoring it and there are 8 PhD students/post-docs enrolled as well as me; we're working on projective => proper. Is this OK?

With Anthony's situation, is it necessary to have a Zulip moderator or mathlib maintainer subscribed to the channel, or do we not require this?

[Kim Morrison]

In Anthony's situation, it doesn't need to be a zulip moderator or mathlib maintainer --- just someone, perhaps Anthony, whom whoever creates the channel has explicitly discussed this with, and the channel creator trusts that they've understood.

[Kim Morrison]

For your projective => proper channel, yes, that's fine --- you're that person, and if something was going wrong in the private channel you could bring it to the CoC team.