Zulip Chat Archive

Stream: Zulip meta

Topic: list of zulip groups

Patrick Thomas (Jan 17 2022 at 19:51):

Is there a comprehensive list of zulip groups somewhere?

Julian Berman (Jan 17 2022 at 20:39):

Do you indeed mean groups i.e. user groups like ATmaintainers or whatever? If so it's in Organization Settings > User Groups it appears, and there seem to only be 3, unless more are invisible.

Patrick Thomas (Jan 17 2022 at 20:41):

Sorry, I mean for projects. Those that exist in addition to https://leanprover.zulipchat.com.

Julian Berman (Jan 17 2022 at 20:51):

Ah -- I suspect not, but I don't know for sure.

Julian Berman (Jan 17 2022 at 20:51):

(Especially given you can self-host it, if you count those)

Patrick Thomas (Jan 17 2022 at 20:52):

I see. Thank you.

Matthew Ballard (Jan 17 2022 at 20:52):

Subdomain search returns some interesting ones though.

Patrick Thomas (Jan 17 2022 at 21:40):

How do you do a subdomain search?

Julian Berman (Jan 17 2022 at 21:42):

https://duckduckgo.com/?t=ffab&q=site%3Azulipchat.com&ia=web

Patrick Thomas (Jan 17 2022 at 21:42):

Thank you!

Last updated: Dec 20 2023 at 11:08 UTC