First, @nikomatsakis , can you make me a maintainer on rust-push so that i can add people from NLL and other WG's to it so that they can tag issues on the rust-lang/rust repo?
(if I should not be a maintainer, that is okay, but it seems like the set of maintainers is pretty loosey-goosey anyway)
more generally, i'm curious as to what membership on rust-push means beyond being able to tag issues. Does it actually give on the ability to
git push to the rust-lang/rust repo itself (which I regard as a more dangerous power than the ability to add/remove labels on issues/pr's)
If it's the permissions that everyone used to have, then I think it does give that power for branches that aren't master/beta/stable.
oh. well, that lessens the danger somewhat, right?
@pnkfelix I've upped you to an "owner" for rust-lang org
but we should definitely discuss how to manage perms.. continuing to (ab)use rust-push is maybe not ideal, but at the same time if we do want to be somewhat careful over who has write, then we have to do something like that
I would also be fine changing wg-nll etc back to "write perm" for now, and maybe we can clean out some of the people who are in it but haven't really been taking part
I thought by now I had moved everybody over to rust-push that was regularly contributing but I guess not
(sorry for the disruption)
@pnkfelix Reminder that I'm still not in this group.
Hmm right not sure when I will get chance to address that
You caught me just as I left office
Somehow I've lost the ability to assign myself and label issues again.
@davidtwco should be fixed now
(no idea what happened)
I added you to rust-push for now
pnkfelix Reminder that I'm still not in this group.
okay I think you should be invited to join
rust-push now, @Matthew Jasper