Stream: t-lang

Topic: remove Discord channels?


nikomatsakis (May 06 2020 at 20:08, on Zulip):

So we still have #lang channels on Discord -- should we remove those to avoid confusion?

nikomatsakis (May 06 2020 at 20:08, on Zulip):

I'm certainly enjoying the move to Zulip myself

nikomatsakis (May 06 2020 at 20:08, on Zulip):

but that's well known I guess ;)

Josh Triplett (May 06 2020 at 20:53, on Zulip):

:+1:

Josh Triplett (May 06 2020 at 20:53, on Zulip):

We should probably lock them and pin a message linking to Zulip.

Charles Lew (May 07 2020 at 05:33, on Zulip):

we'll need a t-lang/wg-reference stream or something here :)

Josh Triplett (May 07 2020 at 05:49, on Zulip):

@Charles Lew Done.

scottmcm (May 09 2020 at 19:32, on Zulip):

nikomatsakis said:

I'm certainly enjoying the move to Zulip myself

+1, the topics here seem far more conducive to having design conversations

Josh Triplett (May 09 2020 at 21:08, on Zulip):

I just worked with one of the Discord mods to lock #design and pin a message pointing to the t-lang stream. Likewise for #reference pointing to t-lang/wg-reference.

Josh Triplett (May 09 2020 at 21:09, on Zulip):

We should do the same for some of the other lang-team channels at some point, but the ones for working groups will require coordination with those working groups (assuming they've moved or wish to).

Last update: Jun 05 2020 at 22:15UTC