Just remembered that we should discuss what streams are the default on here.
Yeah, I've had it on my to do list for a while to hold a kind of "draft zulip guidelines" meeting
I think we need the following:
We should post that message as a compiler team issue.
(any other things to add on there?)
I imagine it'd be good to post up a draft and let people make suggestions
I can't think of anything right now.
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...
one thing we could mention is that many people choose to use their Github name instead of their Real Name
I would go so far as to say this could be encouraged :)
Ah I know another one
Yeah, that's a good one.