remove myself from some adhoc-groups and pings by davidtwco · Pull Request #145571 · rust-lang/rust (original) (raw)

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 andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Conversation4 Commits1 Checks10 Files changed

Conversation

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

@davidtwco

Removing myself from some adhoc-groups related to the MIR as its been quite a while since I've worked in that area

@davidtwco

@rustbot

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
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 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

Aug 18, 2025

@rustbot

triagebot.toml has been modified, there may have been changes to the review queue.

cc @davidtwco, @wesleywiser

@lqd

@bors

📌 Commit abcfa43 has been approved by lqd

It is now in the queue for this repository.

@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

Aug 18, 2025

jhpratt added a commit to jhpratt/rust that referenced this pull request

Aug 18, 2025

@jhpratt

…oups, r=lqd

remove myself from some adhoc-groups and pings

Removing myself from some adhoc-groups related to the MIR as its been quite a while since I've worked in that area

bors added a commit that referenced this pull request

Aug 19, 2025

@bors

Rollup of 33 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

bors added a commit that referenced this pull request

Aug 19, 2025

@bors

Rollup of 10 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

rust-timer added a commit that referenced this pull request

Aug 20, 2025

@rust-timer

Rollup merge of #145571 - davidtwco:davidtwco-remove-from-groups, r=lqd

remove myself from some adhoc-groups and pings

Removing myself from some adhoc-groups related to the MIR as its been quite a while since I've worked in that area

github-actions bot pushed a commit to rust-lang/miri that referenced this pull request

Aug 20, 2025

@bors

@davidtwco davidtwco deleted the davidtwco-remove-from-groups branch

August 21, 2025 09:48

github-actions bot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request

Aug 25, 2025

@bors

github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request

Aug 26, 2025

@bors

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.