Zulip Chat Archive

Stream: Zulip meta

Topic: Creating a new stream

Ian Jauslin (Apr 26 2023 at 18:32):

Hi! I am a professor at Rutgers university, and we started a Lean seminar earlier this year. We were thining that it would be useful for us to communicate with each other (and with anyone else who is interested in what we are doing) via zulip. What is the policy of this zulipchat? Can we create a Rutgers stream here?

Scott Morrison (Apr 26 2023 at 21:24):

@Ian Jauslin, yes, you can!

If you're happy for it to be a public stream, just let me know and I will create it for you.

If you would like a private stream that won't have any of the maintainers as members, then we will need a nominated "moderator" for the stream (e.g. you), who will promise to keep an eye on the stream, and in particular contact the code of conduct team and/or maintainers if any issue arises in the stream which they might need to be aware of.

(Obviously if it is a public stream but with low usage, we would still very much appreciate if members are aware of the code of conduct.)

Ian Jauslin (Apr 26 2023 at 21:28):

Thanks so much! A public stream would be just fine!

Ian Jauslin (Apr 26 2023 at 21:29):

Would "Rutgers lean seminar" be a good title?

Scott Morrison (Apr 26 2023 at 21:38):

I've created it, and added you as a member.

Ian Jauslin (Apr 26 2023 at 23:26):

Awesome thank you so much!

Last updated: Dec 20 2023 at 11:08 UTC