Privileges for the rustup repo

[djc]

The rustup team got some new members recently:

• Add rami3l to wg-rustup team#1082
• Add djc to wg-rustup team#1083

@rami3l and I were expecting to get maintainer-level privileges to the rustup repo after this, but that hasn't happened yet. Is that a policy or implementation issue?

cc @rbtcollins (as rustup lead)

[Kobzol]

I think that the rustup repo isn't managed by automation yet (?), since it's not here.

[rami3l]

I think that the rustup repo isn't managed by automation yet (?), since it's not here.

Is it appropriate to add a config there for rustup to be future-proof then? I'm willing to offer a PR if it's okay to do so.

[jdno]

I went ahead and created a pull request here.

[rbtcollins]

I don't see any reason for rustup to be a special case. Just needs someone familiar with things to perform whatever work is involved.

I'm not sure of what my personal access to the rustup repo is - I think I'm just 'Member' - I don't have Settings or security reports or other such things.

[jdno]

The pull request got merged and the rustup repository is now managed by rust-lang/team. A new team was created under our GitHub org with all members of the team, so whenever someone joins or leaves the permissions are automatically applied.

Hi, @rust-lang/rustup 👋 Let me know if there are any issues.

[djc]

Very nice! Would it be possible to set up the merge queue on the repo, and if so, how do we go about that? And is it possible to rename the master branch to main within your current setup? (That's just me asking, not discussed with other team members yet.)

[jdno]

I think neither of those are possible through the team repo yet, but we can for sure help you with that if you'd like. Probably easiest to ask in #t-infra on Zulip once you've discussed it with the team.