Stream: t-compiler/wg-polonius

Topic: github perms and team repo


nikomatsakis (Sep 12 2019 at 15:08, on Zulip):

So I created https://github.com/rust-lang/team/pull/114 which will create an official "wg-polonius" team for this group -- actually not having one was an oversight. I think I'll make that sync'd with a wg-polonius github team we can use for membership.

lqd (Sep 12 2019 at 15:31, on Zulip):

From the PR:

leads = ["lqd", "nikomatsakis"]

lqd (Sep 12 2019 at 15:31, on Zulip):

/me faints

nikomatsakis (Sep 12 2019 at 20:54, on Zulip):

One question, should we include @Matthew Jasper + @Aaron Weiss in that list of members? :)

nikomatsakis (Sep 12 2019 at 20:54, on Zulip):

I'd have no objection

nikomatsakis (Sep 12 2019 at 20:55, on Zulip):

Also, there is a github team that has them as members, I'm not entirely sure if that pre-existed or what, but it seems out of sync with the teams repo.

nikomatsakis (Sep 12 2019 at 20:56, on Zulip):

/me faints

heh, I thought we had you listed as lead on the compiler-team repo, @lqd, but I guess we didn't :) you ok with that? I feel like you do most of the lead work tbh

nikomatsakis (Sep 12 2019 at 20:56, on Zulip):

we should fix compiler-team repo then!

nikomatsakis (Sep 12 2019 at 20:58, on Zulip):

https://github.com/rust-lang/compiler-team/pull/170

lqd (Sep 12 2019 at 21:13, on Zulip):

I'm ok with that, but mostly honored/thankful :)

lqd (Sep 12 2019 at 21:13, on Zulip):

Matthew and Aaron sure if they want to

nikomatsakis (Sep 12 2019 at 21:14, on Zulip):

So the @WG-polonius (a) has write access to the polonius repo and (b) is now owner of the polonius and polonius-engine crates

lqd (Sep 12 2019 at 21:14, on Zulip):

I would have no objection either of course :)

lqd (Sep 12 2019 at 21:15, on Zulip):

nice, thanks niko !

nikomatsakis (Sep 12 2019 at 21:16, on Zulip):

I also made sure that compiler is an owner

lqd (Sep 12 2019 at 21:17, on Zulip):

I only see the 3 of us in the GH team so now it matches the earlier PR — I'm guessing you made them in sync since posting the message

nikomatsakis (Sep 13 2019 at 00:56, on Zulip):

@Pietro Albini fixed it

Albin Stjerna (Sep 13 2019 at 07:37, on Zulip):

Oh wow, I'm official. That's...very cool

Aaron Weiss (Sep 13 2019 at 18:37, on Zulip):

I don't mind either way if I'm in wg-polonius on GitHub (since what I'm doing right now is theoretical anyway :smile:)

Last update: Nov 15 2019 at 20:05UTC