Stream: t-compiler/wg-meta

Topic: text of the zulip stream comment


nikomatsakis (Jun 22 2020 at 21:43, on Zulip):

Hey @simulacrum the Zulip stream comment for new MCPs says something about "this will be discussed in the next meeting" or something. Maybe we could rephrase to something like

"This will be announced in the next meeting to try and draw attention to it."

or something like that?

simulacrum (Jun 22 2020 at 21:43, on Zulip):

Sure! Do you think it needs to be different for lang and compiler? I guess no?

nikomatsakis (Jun 22 2020 at 21:44, on Zulip):

no, the main thing is not to convey that there is some "synchronous discussion" that is going to happen

nikomatsakis (Jun 22 2020 at 21:45, on Zulip):

see also the discussion here https://github.com/rust-lang/compiler-team/issues/303

nikomatsakis (Jun 22 2020 at 21:45, on Zulip):

I guess ideally we'd maybe tinker the text a bit more even but that'd be a start

nikomatsakis (Jun 23 2020 at 20:48, on Zulip):

@simulacrum are these comments chiding folks for leaving comments on the github issue?

nikomatsakis (Jun 23 2020 at 20:48, on Zulip):

or are they the result of a bug of some kind

simulacrum (Jun 23 2020 at 20:49, on Zulip):

Well, we can call it whatever you'd wish :)

simulacrum (Jun 23 2020 at 20:49, on Zulip):

But not intentional

nikomatsakis (Jun 23 2020 at 20:49, on Zulip):

lol ok :)

simulacrum (Jun 23 2020 at 20:49, on Zulip):

Probably good to file an issue for both requests here

nikomatsakis (Jun 23 2020 at 21:49, on Zulip):

@simulacrum I don't think I would want to nag folks, to be clear.

nikomatsakis (Jun 23 2020 at 21:49, on Zulip):

tbh I still don't think it's clear that MCP discussion over zulip is better than on the issue

simulacrum (Jun 23 2020 at 21:49, on Zulip):

Yes, I think it's probably overdoing it

simulacrum (Jun 23 2020 at 21:50, on Zulip):

I do think having something more .. dynamic, I guess, I useful for hashing things out

simulacrum (Jun 23 2020 at 21:51, on Zulip):

But I'm not sure if that means we should recommend Zulip topics for "simple things" and push for more formal discussion on GitHub. I think it's similar to RFCs in this way, where GitHub isn't ideal but maybe also the best we have

nikomatsakis (Jun 24 2020 at 14:24, on Zulip):

I could see some value to saying:

nikomatsakis (Jun 24 2020 at 14:24, on Zulip):

there is a Zulip topic that can be used for back-and-forth

nikomatsakis (Jun 24 2020 at 14:24, on Zulip):

I don't know :/

nikomatsakis (Jun 24 2020 at 14:25, on Zulip):

I guess I think that having a GH conversation that is "short-lived" is pretty decent

nikomatsakis (Jun 24 2020 at 14:25, on Zulip):

i.e., if the MCP is going to undergo major changes, it should be closed and re-opened with those changes

simulacrum (Jun 24 2020 at 21:36, on Zulip):

hm yeah perhaps

simulacrum (Jun 24 2020 at 21:36, on Zulip):

I do think ... like, if I want to ask a question, I somewhat prefer to do that on Zulip

simulacrum (Jun 24 2020 at 21:37, on Zulip):

particularly if there's discussion that's more "on key" (with e.g. people who know more)

simulacrum (Jun 24 2020 at 21:37, on Zulip):

maybe we should push for discussion on github and questions on zulip but no real enforcement of either.

not sure if that makes sense though. I wouldn't really want to split discussion though

Last update: Sep 28 2020 at 16:15UTC