4 ms·
FWIW, the Rust-push team doesn't match the set of reviewers (people to which the integration bot bors will react and merge a PR). Being on that list offers powe
by dbaupp 12y ago
FWIW, the Rust-push team doesn't match the set of reviewers (people to which the integration bot bors will react and merge a PR). Being on that list offers powers like issue tagging and the ability to push to the 'try' branch, but manually merging a PR or pushing straight to master is essentially banned (and would be reverted immediately).
- Gankro 12y agoHuh. I thought it was basically a bijection, though?
- dbaupp 12y agoThere is an injection from the set of reviews to the rust-push team (Or, at least, there should be), but e.g. people have got privs because they've been doing a lot of triage or need try push, without having review powers.