Skip to content

add range-diff triagebot option#2726

Merged
tshepang merged 1 commit intomainfrom
tshepang/range-diff
Jan 19, 2026
Merged

add range-diff triagebot option#2726
tshepang merged 1 commit intomainfrom
tshepang/range-diff

Conversation

@tshepang
Copy link
Copy Markdown
Member

No description provided.

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Jan 12, 2026

Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Jan 12, 2026
@tshepang tshepang merged commit 64f0f77 into main Jan 19, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Jan 19, 2026
@tshepang tshepang deleted the tshepang/range-diff branch January 19, 2026 20:19
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.

2 participants