Stream: t-compiler/wg-meta

Topic: zulip meeting


nikomatsakis (Mar 14 2019 at 18:45, on Zulip):

BTW, something else I've been thinking about is that we need to produce a "Guide to using Zulip" and so forth, and document our Zulip conventions -- there are also a bunch of open questions on my mind (e.g., default streams, etc)

nikomatsakis (Mar 14 2019 at 18:45, on Zulip):

I raised this over in #zulip at some point -- and actually I have a bunch of unread messages there,.

nikomatsakis (Mar 14 2019 at 18:45, on Zulip):

I would raise this as a candidate for a "sprint task"

davidtwco (Mar 14 2019 at 18:46, on Zulip):

Somewhat related - when creating wg streams, I normally subscribe everyone who is subscribed to t-compiler - we should standardize that.

nikomatsakis (Mar 14 2019 at 18:48, on Zulip):

confirm

nikomatsakis (Mar 14 2019 at 18:48, on Zulip):

strongly related :)

nikomatsakis (Mar 14 2019 at 18:48, on Zulip):

I tend to do the same

nikomatsakis (Mar 14 2019 at 18:48, on Zulip):

I think I would rather get to a place where people are actively cultivating their own streams, but maybe it remains best to say that you get "added by default" and you learn how to take yourself off

davidtwco (Mar 14 2019 at 19:25, on Zulip):

Also, Zulip has Zoom integration that might be worth trying.

Santiago Pastorino (Mar 14 2019 at 19:49, on Zulip):

BTW, something else I've been thinking about is that we need to produce a "Guide to using Zulip" and so forth, and document our Zulip conventions -- there are also a bunch of open questions on my mind (e.g., default streams, etc)

very good idea :)

Last update: Nov 11 2019 at 22:00UTC