Skip to content

Conversation

@wesleywiser
Copy link
Member

We want to give the stable-mir project the ability to r+ stable mir PRs in the compiler since that area is under their purview.

r? @davidtwco

@compiler-errors
Copy link
Member

cc @rust-lang/project-stable-mir

@ouz-a
Copy link

ouz-a commented Nov 7, 2023

This is great, since oli is absent we were lacking in "r" power 😁

@Mark-Simulacrum Mark-Simulacrum merged commit fd64f10 into rust-lang:master Nov 10, 2023
celinval added a commit to celinval/rust-team-dev that referenced this pull request Nov 16, 2023
These members were granted r+ permission here: rust-lang#1110

However, trying to assign a PR to them will trigger a rustbot error:

> Failed to set assignee to celinval: invalid assignee
>> Note: Only org members with at least the repository "read" role, users with write permissions, or people who have commented on the PR may be assigned.


I think the problem is that we also need to add the team as maintainers.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants