Stream: zulip

Topic: managing user groups


nikomatsakis (May 08 2020 at 14:43, on Zulip):

That reminds me -- @simulacrum -- I think that users cannot add themselves to user groups.

nikomatsakis (May 08 2020 at 14:44, on Zulip):

Also, they are not sync'd with our team repo

nikomatsakis (May 08 2020 at 14:44, on Zulip):

I think it'd be really great if we could address those questions, maybe with a bot

simulacrum (May 08 2020 at 14:44, on Zulip):

They should be able to

simulacrum (May 08 2020 at 14:44, on Zulip):

syncing is something someone is working on though

nikomatsakis (May 08 2020 at 14:44, on Zulip):

I get mixed feedback on this point

simulacrum (May 08 2020 at 14:44, on Zulip):

like, the reason user groups don't work for auth is because anyone can add themselves I think?

nikomatsakis (May 08 2020 at 14:44, on Zulip):

whether you can add yourself to an alias

nikomatsakis (May 08 2020 at 14:45, on Zulip):

I worry that e.g. the t-compiler/meeting probably doesn't get everyone

nikomatsakis (May 08 2020 at 14:45, on Zulip):

and I'm sure folks don't realize they can just add themselves, but maybe we should just post reminders every meeting

nikomatsakis (May 08 2020 at 14:45, on Zulip):

or something like that

nikomatsakis (May 08 2020 at 14:45, on Zulip):

(if, indeed, you can add yourself)

simulacrum (May 08 2020 at 14:46, on Zulip):

hm well https://zulipchat.com/help/user-groups seems to imply that maybe only members of a group or admins can edit groups?

simulacrum (May 08 2020 at 14:47, on Zulip):

maybe we should just email zulip and ask

nikomatsakis (May 08 2020 at 14:48, on Zulip):

this is what I believe

nikomatsakis (May 08 2020 at 14:48, on Zulip):

any member can add other members

nikomatsakis (May 08 2020 at 14:49, on Zulip):

but people can't add themselves

nikomatsakis (May 08 2020 at 14:49, on Zulip):

something like that

simulacrum (May 08 2020 at 14:53, on Zulip):

yeah that seems reasonable

davidtwco (May 08 2020 at 14:54, on Zulip):

that's my understanding too, but admins can add to any group

davidtwco (May 08 2020 at 14:54, on Zulip):

(it can be configured so that only admins can change group membership; or what nikomatsakis wrote)

simulacrum (May 08 2020 at 14:54, on Zulip):

that probably means:

davidtwco (May 08 2020 at 14:55, on Zulip):

it's been a while since I've looked, but I don't think their documentation has APIs for user groups, there might be something undocumented though

simulacrum (May 08 2020 at 14:57, on Zulip):

oh, sorry, I meant that the user groups don't seem editable

simulacrum (May 08 2020 at 14:57, on Zulip):

but maybe I missed something

simulacrum (May 08 2020 at 14:57, on Zulip):

zulip's api docs are usually pretty sparse

simulacrum (May 08 2020 at 14:57, on Zulip):

though better than github's as at least they try to document a schema rather than just "example"! :)

nikomatsakis (May 08 2020 at 15:15, on Zulip):

might be good to file an issue

nikomatsakis (May 08 2020 at 15:15, on Zulip):

I think there's a missing feature here, but at minimum missing API

Last update: Jun 05 2020 at 21:45UTC