Stream: t-compiler/wg-meta

Topic: default zulip streams


davidtwco (May 02 2019 at 21:36, on Zulip):

Just remembered that we should discuss what streams are the default on here.

nikomatsakis (May 03 2019 at 17:54, on Zulip):

Yeah, I've had it on my to do list for a while to hold a kind of "draft zulip guidelines" meeting

nikomatsakis (May 03 2019 at 17:55, on Zulip):

I think we need the following:

nikomatsakis (May 03 2019 at 17:55, on Zulip):
nikomatsakis (May 03 2019 at 17:55, on Zulip):
nikomatsakis (May 03 2019 at 17:55, on Zulip):
nikomatsakis (May 03 2019 at 17:55, on Zulip):
nikomatsakis (May 03 2019 at 17:55, on Zulip):
nikomatsakis (May 03 2019 at 17:56, on Zulip):
davidtwco (May 03 2019 at 18:43, on Zulip):

We should post that message as a compiler team issue.

nikomatsakis (May 03 2019 at 19:47, on Zulip):

indeed

nikomatsakis (May 03 2019 at 19:47, on Zulip):

(any other things to add on there?)

nikomatsakis (May 03 2019 at 19:48, on Zulip):

I imagine it'd be good to post up a draft and let people make suggestions

davidtwco (May 03 2019 at 19:48, on Zulip):

I can't think of anything right now.

nikomatsakis (May 03 2019 at 19:48, on Zulip):

I'd sort of rather this be distinct from compiler-team per se -- although we're the main users, we're not the only ones...

nikomatsakis (May 03 2019 at 19:48, on Zulip):

one thing we could mention is that many people choose to use their Github name instead of their Real Name

nikomatsakis (May 03 2019 at 19:48, on Zulip):

I would go so far as to say this could be encouraged :)

nikomatsakis (May 03 2019 at 19:49, on Zulip):

Ah I know another one

nikomatsakis (May 03 2019 at 19:49, on Zulip):
davidtwco (May 03 2019 at 19:49, on Zulip):

Yeah, that's a good one.

Last update: Nov 11 2019 at 23:15UTC