Stream: project leads (public)

Topic: name of stream


nikomatsakis (Dec 19 2019 at 10:36, on Zulip):

I was wondering if this stream might better be called "project coordination" -- thoughts?

Pietro Albini (Dec 19 2019 at 10:37, on Zulip):

I think this name adds more emphasis on "only or mostly project leads should write here"

nikomatsakis (Dec 19 2019 at 10:37, on Zulip):

Motivation I guess is to slightly de-emphasize who is talking and emphasize the sort of content -- but I'm not sure if that's an accurate summary of what we expect here.

nikomatsakis (Dec 19 2019 at 10:38, on Zulip):

I'm happy to leave as is for now.

Last update: Jan 28 2020 at 00:55UTC