Skip to content

Don't ping - #2237

Merged
nia-e merged 1 commit into
rust-lang:mainfrom
clarfonthey:triagebot-libs
Sep 30, 2026
Merged

nia-e merged 1 commit into
rust-lang:mainfrom
clarfonthey:triagebot-libs

Conversation

@clarfonthey

Copy link
Copy Markdown
Contributor

r? nia-e

@nia-e
nia-e enabled auto-merge September 30, 2026 23:10
@nia-e
nia-e added this pull request to the merge queue Sep 30, 2026
Merged via the queue into rust-lang:main with commit ca2d5c4 Sep 30, 2026
87 checks passed
@clarfonthey
clarfonthey deleted the triagebot-libs branch September 30, 2026 23:54
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