Zulip Chat Archive

Stream: new members

Topic: Create a private stream


Vasily Ilin (Mar 30 2022 at 16:55):

Do ordinary members of Lean Zulip not have permission to create their own (private) stream? I'm trying to collaborate with multiple people, and so want to create a stream.

Yaël Dillies (Mar 30 2022 at 16:56):

I think it got disabled because people were accidentally creating streams instead of new topics. You can have private group messages.

Vasily Ilin (Mar 30 2022 at 16:57):

I see. Thanks!

Johan Commelin (Mar 30 2022 at 17:22):

@Vasily Ilin If private group messages is too disorganized, please ping the @maintainers and we can make a stream for you.

Patrick Massot (Mar 30 2022 at 18:15):

I think we should create this stream right away. We know from the perfectoid project that having all discussions in private messages isn't convenient, even with a small team.

Vasily Ilin (Mar 30 2022 at 19:17):

@maintainers , can I please get my own stream? We'll be working with a team of 7 students, learning Lean, hopefully working up to formalizing something new. Thank you!

Patrick Massot (Mar 30 2022 at 19:20):

Could you provide a stream name?

Vasily Ilin (Mar 30 2022 at 19:27):

Name: University of Washington. @Patrick Massot

Patrick Massot (Mar 30 2022 at 19:38):

Done.

Kevin Buzzard (Mar 30 2022 at 21:05):

FWIW there's an Imperial College private stream but nowadays we just use a discord server.

Vasily Ilin (Oct 09 2023 at 20:40):

@Patrick Massot , could I please get the permission to generate an invite link to the channel?

Patrick Massot (Oct 09 2023 at 20:43):

I don't think such a thing exists. You can subscribe people to this stream after they have created an account.

Vasily Ilin (Oct 09 2023 at 20:52):

So for a class with n students, I would need to copy-paste n usernames? Oh God

Eric Wieser (Oct 09 2023 at 20:54):

Can you click the "invite users" link under the cog at the top right?

Vasily Ilin (Oct 09 2023 at 21:00):

I can
image.png

Vasily Ilin (Oct 09 2023 at 21:00):

But I wish I could generate an invite link

Eric Wieser (Oct 09 2023 at 21:04):

Can't you just paste the list of emails?

Eric Wieser (Oct 09 2023 at 21:04):

That way you can also encourage students to use their academic email addresses

Eric Wieser (Oct 09 2023 at 21:04):

(for what it's worth, that option is grayed out for me too)


Last updated: Dec 20 2023 at 11:08 UTC