Stream: Miscellaneous

Topic: Advice for a new Zulip chat?


view this post on Zulip Gabriel Scherer (Mar 03 2021 at 13:53):

Hi everyone. I'm about to create a Zulip for types-list, as an experiment. I have never created/moderated a large-ish Zulip chat before, do you have advice? (cc @Théo Zimmermann, a person who has advice)

In particular:

Thanks!

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 13:56):

Moderating this Zulip is not a burden: we get zero spam (so much less to review than in Discourse, despite there being more activity). Though, it's kind of disappointing that there is no moderator role, only an administrator role (so we are only two, with @Cyril Cohen to do this).

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 13:57):

So our actual admin activities have more to do with renaming streams and changing descriptions (but anyone is allowed to create a stream).

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 13:58):

And also with moving topics across streams.

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 13:59):

About streams, it's important not to create too many because putting a discussion in a stream with fewer subscribers is going to make it less visible and less answered.

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 13:59):

And topics for organizing (and even muting) discussions work just fine.

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 13:59):

Streams for communities (and specific events) seem like a good fit.

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 14:00):

We didn't create them all from the start. We created a bunch and left it to project maintainers to add a stream for their project.

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 14:02):

As an admin, I'm alerted when I mention a user who is not subscribed to the current stream and I can subscribe them. However, I don't think that's the case for normal users (not sure though).

view this post on Zulip Théo Zimmermann (Mar 03 2021 at 14:03):

We didn't invest the effort (which may be relatively little) to create a Zulip Archive but we definitely wanted to do this.

view this post on Zulip Gabriel Scherer (Mar 03 2021 at 14:05):

(I should point out that the idea of creating a Zulip for types was suggested to me by @Philipp G. Haselwarter, who then promptly disappeared in the woods to avoid having to work on it. Thanks Philipp!)

view this post on Zulip Cyril Cohen (Mar 03 2021 at 14:20):

We kicked off this Zulip channel by porting former (separate) gitter channels (https://gitter.im/coq/coq and the like) to streams on this server, as well as the users. That's basically how we inherited the current streams.

view this post on Zulip Cyril Cohen (Mar 03 2021 at 14:21):

@Théo Zimmermann regularly redirects peoples from there to here.

view this post on Zulip Gabriel Scherer (Mar 03 2021 at 14:21):

Yes, my understanding is that you found Zulip better than gitter.

view this post on Zulip Gabriel Scherer (Mar 03 2021 at 14:22):

(We don't have a Discuss forum for types, so it was clear to me that a more-structured chat like Zulip would be a better choice anyway.)

view this post on Zulip Cyril Cohen (Mar 03 2021 at 14:25):

After almost 1 year on zulip, I think we can claim it improved the quality of the discussion and followup

view this post on Zulip Gabriel Scherer (Mar 03 2021 at 14:29):

My main issue with these chat platforms is that I spend way too much time in the emoji-picker, looking for the perfect choice :snail:

view this post on Zulip Cyril Cohen (Mar 03 2021 at 14:31):

Gabriel Scherer said:

My main issue with these chat platforms is that I spend way too much time in the emoji-picker, looking for the perfect choice :snail:

That's too bad, I have a personal strategy for that: I usually stick to cat emojis... :cat: I just type "cat" and I have a limited choice to pick from

view this post on Zulip Philipp G. Haselwarter (Mar 03 2021 at 16:04):

I got as far as creating types.zulipchat.com, and then decided I'd come back to it when I have a free moment

view this post on Zulip Cyril Cohen (Mar 03 2021 at 16:12):

Did you notice this: https://zulip.com/for/open-source/

view this post on Zulip Emilio Jesús Gallego Arias (Mar 03 2021 at 16:16):

An interesting resource would be actually compiling a list of all the chat channels, it is getting a bit "crazy" with discord, discuss, zulip, gitter, IRC, etc...

view this post on Zulip Emilio Jesús Gallego Arias (Mar 03 2021 at 16:16):

slacks

view this post on Zulip Emilio Jesús Gallego Arias (Mar 03 2021 at 16:17):

OCaml has at least a discord, a discuss, a mailing list,

view this post on Zulip Emilio Jesús Gallego Arias (Mar 03 2021 at 16:17):

I feel like writing all the sites down would be a first steps towards maybe consolidation


Last updated: Jun 10 2023 at 06:31 UTC