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

Ping me for rustc-dev-guide subtree changes on this repo #135016

Merged
merged 1 commit into from
Jan 2, 2025

Conversation

jieyouxu
Copy link
Member

@jieyouxu jieyouxu commented Jan 2, 2025

r? @Kobzol

@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 Jan 2, 2025
@rustbot
Copy link
Collaborator

rustbot commented Jan 2, 2025

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

cc @davidtwco, @wesleywiser

@Kobzol
Copy link
Contributor

Kobzol commented Jan 2, 2025

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Jan 2, 2025

📌 Commit 44d2740 has been approved by Kobzol

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 Jan 2, 2025
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 2, 2025
…iaskrgr

Rollup of 5 pull requests

Successful merges:

 - rust-lang#135016 (Ping me for rustc-dev-guide subtree changes on this repo)
 - rust-lang#135027 (Remove range-metadata amdgpu workaround)
 - rust-lang#135029 (Update mailmap)
 - rust-lang#135033 (try to dedup me in the mailmap)
 - rust-lang#135035 (Fix formatting command)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit c3ffc2d into rust-lang:master Jan 2, 2025
6 checks passed
@rustbot rustbot added this to the 1.85.0 milestone Jan 2, 2025
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Jan 2, 2025
Rollup merge of rust-lang#135016 - jieyouxu:dev-guide-ping-list, r=Kobzol

Ping me for rustc-dev-guide subtree changes on this repo

r? `@Kobzol`
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