Stream: t-compiler/wg-meta

Topic: meeting 2020.01.23


Santiago Pastorino (Jan 23 2020 at 19:02, on Zulip):

@T-compiler/WG-meta :wave:

Santiago Pastorino (Jan 23 2020 at 19:03, on Zulip):

are we up for the meeting?

nikomatsakis (Jan 23 2020 at 19:06, on Zulip):

Hi all

nikomatsakis (Jan 23 2020 at 19:06, on Zulip):

I'm up for a quick sync, yes

nikomatsakis (Jan 23 2020 at 19:06, on Zulip):

sorry running a few minutes late

Santiago Pastorino (Jan 23 2020 at 19:06, on Zulip):

no worries

nikomatsakis (Jan 23 2020 at 19:06, on Zulip):

I saw @oli opened https://github.com/rust-lang/compiler-team/pull/232, which I am excited about

Santiago Pastorino (Jan 23 2020 at 19:06, on Zulip):

I've reviewed my pending queue of PRs and issues :)

Santiago Pastorino (Jan 23 2020 at 19:06, on Zulip):

I saw oli opened https://github.com/rust-lang/compiler-team/pull/232, which I am excited about

yes

nikomatsakis (Jan 23 2020 at 19:07, on Zulip):

I wonder if we want to add a "Zulip stream" section

Santiago Pastorino (Jan 23 2020 at 19:07, on Zulip):

saw that you have cced mw

nikomatsakis (Jan 23 2020 at 19:07, on Zulip):

I'll leave a comment

Santiago Pastorino (Jan 23 2020 at 19:07, on Zulip):

I guess one of the main things to discuss is how to move the *-Breaker groups forward, right?

Santiago Pastorino (Jan 23 2020 at 19:08, on Zulip):

saw team#214

Santiago Pastorino (Jan 23 2020 at 19:09, on Zulip):

but as I have commented couldn't understand the current status of that

nikomatsakis (Jan 23 2020 at 19:10, on Zulip):

yeah, I think we're almost done there

nikomatsakis (Jan 23 2020 at 19:10, on Zulip):

compiler-team#207 is the issue

nikomatsakis (Jan 23 2020 at 19:10, on Zulip):

saw team#214

ok I see, regarding that

nikomatsakis (Jan 23 2020 at 19:10, on Zulip):

plan was to (a) land it and (b) create a sample PR showing how to add oneself

nikomatsakis (Jan 23 2020 at 19:11, on Zulip):

but I think we do want probably some initial member:)

nikomatsakis (Jan 23 2020 at 19:11, on Zulip):

I guess it doesn't matter too much

nikomatsakis (Jan 23 2020 at 19:11, on Zulip):

plan was to (a) land it and (b) create a sample PR showing how to add oneself

once that is done, we basically just need an announcement

Santiago Pastorino (Jan 23 2020 at 19:13, on Zulip):

I can be an initial member

Santiago Pastorino (Jan 23 2020 at 19:13, on Zulip):

then at some point I can remove myself

nikomatsakis (Jan 23 2020 at 19:13, on Zulip):

ok :)

nikomatsakis (Jan 23 2020 at 19:13, on Zulip):

I guess I could've done the same

nikomatsakis (Jan 23 2020 at 19:13, on Zulip):

I just really don't want more cc's :P

Santiago Pastorino (Jan 23 2020 at 19:13, on Zulip):

exactly :)

Santiago Pastorino (Jan 23 2020 at 19:13, on Zulip):

leave that up to me

Santiago Pastorino (Jan 23 2020 at 19:13, on Zulip):

my queue is way smaller :P

Santiago Pastorino (Jan 23 2020 at 19:14, on Zulip):

so should I merge and then add myself?

Santiago Pastorino (Jan 23 2020 at 19:14, on Zulip):

should we just add me on that PR and merge?

nikomatsakis (Jan 23 2020 at 19:14, on Zulip):

I'm adding

Santiago Pastorino (Jan 23 2020 at 19:15, on Zulip):

btw do this kind of groups have leaders? or leaders list is just always empty?

Santiago Pastorino (Jan 23 2020 at 19:15, on Zulip):

a thought that just came to my mind

nikomatsakis (Jan 23 2020 at 19:15, on Zulip):

btw do this kind of groups have leaders? or leaders list is just always empty?

I think they are empty

nikomatsakis (Jan 23 2020 at 19:15, on Zulip):

it's not really a "group" in the usual sense

nikomatsakis (Jan 23 2020 at 19:15, on Zulip):

more of a mailing list:)

nikomatsakis (Jan 23 2020 at 19:15, on Zulip):

ok once travis is happy, let's merge team#214

nikomatsakis (Jan 23 2020 at 19:16, on Zulip):

meanwhile I will add the link to rustc-guide#556

nikomatsakis (Jan 23 2020 at 19:16, on Zulip):

done

nikomatsakis (Jan 23 2020 at 19:16, on Zulip):

so if we merge those two things

nikomatsakis (Jan 23 2020 at 19:16, on Zulip):

oh actually

nikomatsakis (Jan 23 2020 at 19:16, on Zulip):

maybe @Santiago Pastorino I can remove you from the list, and you can make a PR adding yourself

nikomatsakis (Jan 23 2020 at 19:17, on Zulip):

and that can be our "sample PR" :)

nikomatsakis (Jan 23 2020 at 19:17, on Zulip):

never mind that's silly, I'll make a sample PR in a sec though adding myself and just close it... :)

nikomatsakis (Jan 23 2020 at 19:18, on Zulip):

meanwhile I will add the link to rustc-guide#556

can you make an approving review there?

Santiago Pastorino (Jan 23 2020 at 19:18, on Zulip):

done

Santiago Pastorino (Jan 23 2020 at 19:19, on Zulip):

if you want we can just merge the thing with no members and I can provide a PR adding me

Santiago Pastorino (Jan 23 2020 at 19:19, on Zulip):

whatever you prefer

nikomatsakis (Jan 23 2020 at 19:19, on Zulip):

to jump back to "major changes",

nikomatsakis (Jan 23 2020 at 19:19, on Zulip):

I think the other thing that is missing is that we should write-up the policy and make a kind of RFC or at least a PR against the forge repo with FCP

nikomatsakis (Jan 23 2020 at 19:19, on Zulip):

maybe we can open a checklist on that

Santiago Pastorino (Jan 23 2020 at 19:20, on Zulip):

https://github.com/rust-lang/team/pull/214 ready to merge but I can't, just approved

Santiago Pastorino (Jan 23 2020 at 19:21, on Zulip):

maybe we can open a checklist on that

just in case I got this wrong, you meant a checklist with the missing things in order to merge the PR?

Santiago Pastorino (Jan 23 2020 at 19:21, on Zulip):

like the checklist containing open a PR on forge with FCP, etc, etc?

nikomatsakis (Jan 23 2020 at 19:21, on Zulip):

no, I meant more like "to launch the major changes plan"

nikomatsakis (Jan 23 2020 at 19:21, on Zulip):

it's probably just one or two steps really

Santiago Pastorino (Jan 23 2020 at 19:22, on Zulip):

ahh ok

Santiago Pastorino (Jan 23 2020 at 19:23, on Zulip):

are you doing that checklist?

nikomatsakis (Jan 23 2020 at 19:23, on Zulip):

https://github.com/rust-lang/compiler-team/issues/242

Santiago Pastorino (Jan 23 2020 at 19:23, on Zulip):

tell me how I can help

nikomatsakis (Jan 23 2020 at 19:23, on Zulip):

take a look

Santiago Pastorino (Jan 23 2020 at 19:24, on Zulip):

ok

nikomatsakis (Jan 23 2020 at 19:24, on Zulip):

that said, I think in terms of what you can do to help, let's jump back to https://github.com/rust-lang/compiler-team/issues/207

nikomatsakis (Jan 23 2020 at 19:24, on Zulip):

we're so close now :)

nikomatsakis (Jan 23 2020 at 19:24, on Zulip):

there are a few checklist items, do you want to tackle those?

Santiago Pastorino (Jan 23 2020 at 19:24, on Zulip):

rmakes sense

nikomatsakis (Jan 23 2020 at 19:24, on Zulip):
nikomatsakis (Jan 23 2020 at 19:24, on Zulip):
nikomatsakis (Jan 23 2020 at 19:24, on Zulip):

and optionally:

nikomatsakis (Jan 23 2020 at 19:24, on Zulip):
nikomatsakis (Jan 23 2020 at 19:25, on Zulip):

this would be linked to from the rustc-guide, let me add that

Santiago Pastorino (Jan 23 2020 at 19:25, on Zulip):

rmakes sense

sorry I was referring to the major changes thing, it makes sense :+1:

Santiago Pastorino (Jan 23 2020 at 19:25, on Zulip):

reading what you're sharing now about compiler-team#207

Santiago Pastorino (Jan 23 2020 at 19:25, on Zulip):

there are a few checklist items, do you want to tackle those?

:+1:

nikomatsakis (Jan 23 2020 at 19:25, on Zulip):
nikomatsakis (Jan 23 2020 at 19:26, on Zulip):

ok, cool, if you tackle those we can launch, which would be awesome

Santiago Pastorino (Jan 23 2020 at 19:26, on Zulip):

:+1:

Santiago Pastorino (Jan 23 2020 at 19:27, on Zulip):

I can tackle those yeah

davidtwco (Jan 23 2020 at 19:27, on Zulip):

sorry, just got here :wave:

Santiago Pastorino (Jan 23 2020 at 19:29, on Zulip):

@nikomatsakis one thing I was wondering, is there coordination about this effort with the triage-wg?

Santiago Pastorino (Jan 23 2020 at 19:29, on Zulip):

or is it meant to be separate from that?

nikomatsakis (Jan 23 2020 at 19:33, on Zulip):

@Santiago Pastorino we hvaen't, but I think we should talk to them, I've pinged @DPC a few times on Zulip but I don't think they wrote bcak (or if they did, I missed it)

nikomatsakis (Jan 23 2020 at 19:33, on Zulip):

but maybe I should reach out on GH or Discord

nikomatsakis (Jan 23 2020 at 19:33, on Zulip):

or maybe you can :)

nikomatsakis (Jan 23 2020 at 19:33, on Zulip):

just to show the plan

nikomatsakis (Jan 23 2020 at 19:33, on Zulip):

it's entirely possible that I missed a response

DPC (Jan 23 2020 at 19:33, on Zulip):

Hey

Santiago Pastorino (Jan 23 2020 at 19:33, on Zulip):

no worries I'm going to talk to Dylan, during Rustfest he ... ohh hi Dylan :)

Santiago Pastorino (Jan 23 2020 at 19:34, on Zulip):

I was going to say that we've talked about ways to improve triage-wg during Rustfest

Santiago Pastorino (Jan 23 2020 at 19:34, on Zulip):

anyway ... @DPC we can talk about this in a separate thread

Santiago Pastorino (Jan 23 2020 at 19:35, on Zulip):

I think this meeting is over or is there something else someone want to mention?

DPC (Jan 23 2020 at 19:35, on Zulip):

I didn't receive any communication about this from niko

Last update: Feb 25 2020 at 04:20UTC