Stream: t-compiler/wg-meta

Topic: meeting 2020.04.09


nikomatsakis (Apr 09 2020 at 18:05, on Zulip):

Hey @T-compiler/WG-meta

nikomatsakis (Apr 09 2020 at 18:05, on Zulip):

How're things ;)

DPC (Apr 09 2020 at 18:05, on Zulip):

:wave:

nikomatsakis (Apr 09 2020 at 18:06, on Zulip):

So I opened the major changes proposal RFC

Santiago Pastorino (Apr 09 2020 at 18:07, on Zulip):

:+1:

nikomatsakis (Apr 09 2020 at 18:07, on Zulip):

One thing I was wondering about, as an aside

nikomatsakis (Apr 09 2020 at 18:07, on Zulip):

Was how much we could automate the tooling there

nikomatsakis (Apr 09 2020 at 18:07, on Zulip):

e.g., maybe "every time you create a MCP issue, we automatically make the zulip topic"

Santiago Pastorino (Apr 09 2020 at 18:08, on Zulip):

I still need to go over the areas idea

nikomatsakis (Apr 09 2020 at 18:08, on Zulip):

and maybe we teach rustbot or rfcbot things like "rfcbot second"

nikomatsakis (Apr 09 2020 at 18:08, on Zulip):

which would add appropriate labels

nikomatsakis (Apr 09 2020 at 18:08, on Zulip):

I think those are the two major things

nikomatsakis (Apr 09 2020 at 18:09, on Zulip):

We also realized in the #wg-governance > Meeting 2020-04-09 meeting today that this process is ultimately very similar to the changes I wanted to make for the lang team

nikomatsakis (Apr 09 2020 at 18:09, on Zulip):

which seems kind of good

nikomatsakis (Apr 09 2020 at 18:09, on Zulip):

maybe an opportunity to consolidate

nikomatsakis (Apr 09 2020 at 18:09, on Zulip):

anyway, @Santiago Pastorino, what's on your mind?

DPC (Apr 09 2020 at 18:09, on Zulip):

how about having a timeframe, so that if a MCP has no discussion for a certain amount of time it can be closed?

nikomatsakis (Apr 09 2020 at 18:09, on Zulip):

if it's the areas, maybe we can talk a bit about that now?

nikomatsakis (Apr 09 2020 at 18:10, on Zulip):

DPC said:

how about having a timeframe, so that if a MCP has no discussion for a certain amount of time it can be closed?

I forget if I added that, but I think that's a good idea

nikomatsakis (Apr 09 2020 at 18:10, on Zulip):

do you have a time frame in mind? maybe a month or something?

Santiago Pastorino (Apr 09 2020 at 18:11, on Zulip):

nikomatsakis said:

and maybe we teach rustbot or rfcbot things like "rfcbot second"

rfcbot second?

DPC (Apr 09 2020 at 18:11, on Zulip):

I was thinking more like 3 months

nikomatsakis (Apr 09 2020 at 18:11, on Zulip):

i.e., if we have the idea that an MCP requires a "second" -- someone who agrees it's a good idea

nikomatsakis (Apr 09 2020 at 18:11, on Zulip):

this woud be a way to register that you think so

Santiago Pastorino (Apr 09 2020 at 18:11, on Zulip):

ahh ok ok

nikomatsakis (Apr 09 2020 at 18:11, on Zulip):

and it would add some label that can then result in it being added to compilelr team agenda

nikomatsakis (Apr 09 2020 at 18:11, on Zulip):

DPC said:

I was thinking more like 3 months

sure

nikomatsakis (Apr 09 2020 at 18:12, on Zulip):

seems fine

Santiago Pastorino (Apr 09 2020 at 18:12, on Zulip):

nikomatsakis said:

anyway, Santiago Pastorino, what's on your mind?

what's in my mind about other things? or what did you mean?

nikomatsakis (Apr 09 2020 at 18:12, on Zulip):

I just mean that you seem like you've been having a lot of good suggestions for things to follow up on last few meetings

Santiago Pastorino (Apr 09 2020 at 18:12, on Zulip):

sorry that I was unprepared for this meeting, today and tomorrow are "at home" holidays yay :P

Santiago Pastorino (Apr 09 2020 at 18:12, on Zulip):

wasn't really with the computer just jumped for the meeting :)

nikomatsakis (Apr 09 2020 at 18:13, on Zulip):

np

nikomatsakis (Apr 09 2020 at 18:13, on Zulip):

I was going to skim the compiler-team repo

Santiago Pastorino (Apr 09 2020 at 18:13, on Zulip):

nikomatsakis said:

I just mean that you seem like you've been having a lot of good suggestions for things to follow up on last few meetings

yes, to the main two ideas are: the areas/wg/experts map work we've talked about last week and also the rustbot prioritize idea from the prioritization wg

Santiago Pastorino (Apr 09 2020 at 18:13, on Zulip):

rustbot prioritize should be "easy" @LeSeulArtichaut was going to give it a shoot

Santiago Pastorino (Apr 09 2020 at 18:14, on Zulip):

and I'm going to open something about the areas idea

Santiago Pastorino (Apr 09 2020 at 18:14, on Zulip):

I saw that during today's triage meeting you (@nikomatsakis) have mentioned a person about windows issues

Santiago Pastorino (Apr 09 2020 at 18:15, on Zulip):

I guess this person needs to be included in some way in this areas work

Santiago Pastorino (Apr 09 2020 at 18:15, on Zulip):

I meant, we want to have that information there

Santiago Pastorino (Apr 09 2020 at 18:15, on Zulip):

so we can do @rustbot ping windows-area

Santiago Pastorino (Apr 09 2020 at 18:15, on Zulip):

A-windows or whatever we end calling this

nikomatsakis (Apr 09 2020 at 18:16, on Zulip):

@DPC how does this sound?

nikomatsakis (Apr 09 2020 at 18:16, on Zulip):

When should Major Change Proposals be closed?

Major Change Proposals can be closed:

DPC (Apr 09 2020 at 18:16, on Zulip):

looks good

Santiago Pastorino (Apr 09 2020 at 18:16, on Zulip):

I guess it would be nice to define also this groups in team repo and sync this between github and zulip, pretty sure that @Pietro Albini has thought about this too

Santiago Pastorino (Apr 09 2020 at 18:16, on Zulip):

I meant, syncing github and zulip groups in some way

DPC (Apr 09 2020 at 18:16, on Zulip):

just a clarificaation: by inactivity, do we mean by the author or anyone ?

DPC (Apr 09 2020 at 18:17, on Zulip):

as in what if the author is inactive but other people are discussing on the MCP

nikomatsakis (Apr 09 2020 at 18:17, on Zulip):

I meant "by anyone", pretty much

nikomatsakis (Apr 09 2020 at 18:17, on Zulip):

I feel like if the author is gone but other people are interested,

nikomatsakis (Apr 09 2020 at 18:17, on Zulip):

maybe we find another person to do the work?

nikomatsakis (Apr 09 2020 at 18:17, on Zulip):

I'm reading what you wrote now @Santiago Pastorino, sorry

nikomatsakis (Apr 09 2020 at 18:18, on Zulip):

Santiago Pastorino said:

I saw that during today's triage meeting you (nikomatsakis) have mentioned a person about windows issues

yes!

Santiago Pastorino (Apr 09 2020 at 18:18, on Zulip):

nikomatsakis said:

I'm reading what you wrote now Santiago Pastorino, sorry

no worries

nikomatsakis (Apr 09 2020 at 18:18, on Zulip):

also, on a related note,

Santiago Pastorino (Apr 09 2020 at 18:18, on Zulip):

meanwhile went to boil water for my coffee :slight_smile:

nikomatsakis (Apr 09 2020 at 18:18, on Zulip):

I have to re-read the RFC about tiers by @Josh Triplett, but I would really like to say that we have designated folks for every target -- especially tier 2 / tier 3 targets that we don't fully support

nikomatsakis (Apr 09 2020 at 18:19, on Zulip):

so those are obvious "areas"

Santiago Pastorino (Apr 09 2020 at 18:19, on Zulip):

if coffee is good for covid-19 me and my family are saved :)

nikomatsakis (Apr 09 2020 at 18:19, on Zulip):

or maybe they're worth treating separately

nikomatsakis (Apr 09 2020 at 18:19, on Zulip):

but in any case I think it's a very common thing

nikomatsakis (Apr 09 2020 at 18:19, on Zulip):

"uh, somebody proposed modifying this obscure target... who should r? this?"

Santiago Pastorino (Apr 09 2020 at 18:20, on Zulip):

so my idea would be to provide a PR lacking a lot of areas, I meant, we need to start with something because I'm pretty sure that as hard as I think about them I won't be able to come up with every single area

nikomatsakis (Apr 09 2020 at 18:20, on Zulip):

Does anybody think it's a problem if I just rfcbot fcp merge the MCP RFC? :) I feel like the idea has been kicking around long enough...

Santiago Pastorino (Apr 09 2020 at 18:20, on Zulip):

so we can collectively build this after I open something

nikomatsakis (Apr 09 2020 at 18:20, on Zulip):

yes

Santiago Pastorino (Apr 09 2020 at 18:20, on Zulip):

so my objective is to start and open something that have some content to fill it up

nikomatsakis (Apr 09 2020 at 18:20, on Zulip):

what/where would this PR be?

Santiago Pastorino (Apr 09 2020 at 18:20, on Zulip):

may do right after this meeting

Santiago Pastorino (Apr 09 2020 at 18:21, on Zulip):

I guess I'd just start with an issue and a link to a HackMD document so this can be more easily be filled

Santiago Pastorino (Apr 09 2020 at 18:21, on Zulip):

then once we fill that up we can provide a PR

nikomatsakis (Apr 09 2020 at 18:23, on Zulip):

that makes sense

nikomatsakis (Apr 09 2020 at 18:24, on Zulip):

I'm going to look after the issues

nikomatsakis (Apr 09 2020 at 18:24, on Zulip):

I guess there's a bit of "cleanup" work to be done

nikomatsakis (Apr 09 2020 at 18:24, on Zulip):

e.g. we should land some notes to close up https://github.com/rust-lang/compiler-team/issues/247

nikomatsakis (Apr 09 2020 at 18:25, on Zulip):

oh, we did

Santiago Pastorino (Apr 09 2020 at 18:25, on Zulip):

ahh yes, maybe I forgot to close this up :)

nikomatsakis (Apr 09 2020 at 18:28, on Zulip):

I think some of these older meetings

nikomatsakis (Apr 09 2020 at 18:28, on Zulip):

we should just close with a link to the zulip stream and be done with it

nikomatsakis (Apr 09 2020 at 18:28, on Zulip):

oh well

nikomatsakis (Apr 09 2020 at 18:28, on Zulip):

e.g., https://github.com/rust-lang/compiler-team/issues/237

nikomatsakis (Apr 09 2020 at 18:31, on Zulip):

I updated the major change proposal issue with some notes on follow-up actions

nikomatsakis (Apr 09 2020 at 18:31, on Zulip):

ok, well, enough for today...

nikomatsakis (Apr 09 2020 at 18:31, on Zulip):

thanks all

DPC (Apr 09 2020 at 18:34, on Zulip):

:wave:

Santiago Pastorino (Apr 09 2020 at 18:35, on Zulip):

nikomatsakis said:

we should just close with a link to the zulip stream and be done with it

I was thinking that this is kind of a bit more general problem we're having

Santiago Pastorino (Apr 09 2020 at 18:36, on Zulip):

may be a good idea to have someone taking notes since the beginning

Santiago Pastorino (Apr 09 2020 at 18:36, on Zulip):

and maybe that's the most interested person in have the meeting?

Santiago Pastorino (Apr 09 2020 at 18:36, on Zulip):

well I'm not sure how many meetings ends without notes maybe this is not a problem?

Last update: Sep 28 2020 at 15:00UTC