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.
From the PR:
leads = ["lqd", "nikomatsakis"]
One question, should we include @Matthew Jasper + @Aaron Weiss in that list of members? :)
I'd have no objection
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.
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
we should fix compiler-team repo then!
I'm ok with that, but mostly honored/thankful :)
Matthew and Aaron sure if they want to
So the @WG-polonius (a) has write access to the polonius repo and (b) is now owner of the polonius and polonius-engine crates
I would have no objection either of course :)
nice, thanks niko !
I also made sure that compiler is an owner
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
@Pietro Albini fixed it
Oh wow, I'm official. That's...very cool
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:)