Skip to content

Remove Esteban from review queues for a while #107661

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

Merged
merged 1 commit into from
Feb 5, 2023

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Feb 4, 2023

@oli-obk
Copy link
Contributor Author

oli-obk commented Feb 4, 2023

@bors r+

@rustbot
Copy link
Collaborator

rustbot commented Feb 4, 2023

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @estebank (or someone else) soon.

Please see the contribution instructions for more information.

@bors
Copy link
Collaborator

bors commented Feb 4, 2023

📌 Commit d78fb1a has been approved by oli-obk

It is now in the queue for this repository.

@rustbot rustbot added A-meta Area: Issues & PRs about the rust-lang/rust repository itself S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 4, 2023
@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 4, 2023
@oli-obk
Copy link
Contributor Author

oli-obk commented Feb 4, 2023

@bors rollup

bors added a commit to rust-lang-ci/rust that referenced this pull request Feb 4, 2023
…iaskrgr

Rollup of 3 pull requests

Successful merges:

 - rust-lang#107116 (consolidate bootstrap docs)
 - rust-lang#107646 (Provide structured suggestion for binding needing type on E0594)
 - rust-lang#107661 (Remove Esteban from review queues for a while)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 47fc625 into rust-lang:master Feb 5, 2023
@rustbot rustbot added this to the 1.69.0 milestone Feb 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-meta Area: Issues & PRs about the rust-lang/rust repository itself S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants