Hey, I've realized I have no idea who has what rights on which repos. Part of that is that I add folks to bors manually.
Since sometime, bors can integrate with GitHub teams (I think).
So, I want to cleanup all our permissions. I suggest the following structure:
reviewersteam (this currently consuingly named
owner). These larrger set of folks have direct push access, r+ and crates.io publish rights on all of the rust-analyzer org crates. This set is synchornized with bors-ng
triageteam -- folks which can triage issues.
(unless anyone objects, I'll implement this later today. If there are ojbections after that, we can always tweak the stuff more)
Implementing this now!
A bunch of folks shoudl lose individual permissions on the repos, but gain team access
If someone wants to modify
r.a logo to say
r.+, that would be review team's logo :D
Ok, more or less implemented! If you have permissions you think you shouldn't have, or don't have required permissions, please dm me :D
please dm me :D
Actually, please dm Jonas Schievink , Florian Diebold or matklad , there's nothing specific to me here