Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Grant infra-admins permissions for repo changes #785

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

jdno
Copy link
Member

@jdno jdno commented Nov 28, 2024

The repo directory manages both access as well as the configuration and automation of repositories. Since all repositories are now managed by the team repo and we are adding more and more automation, it makes sense to give the infra-admins the authority to approve and merge these configuration changes, while permission changes still need to be approved by the team-repo-admins.

The `repo` directory manages both access as well as the configuration
and automation of repositories. Since all repositories are now managed
by the team repo and we are adding more and more automation, it makes
sense to give the infra-admins the authority to approve and merge these
configuration changes, while permission changes still need to be
approved by the team-repo-admins.
@rustbot
Copy link
Collaborator

rustbot commented Nov 28, 2024

r? @pietroalbini

rustbot has assigned @pietroalbini.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants