Skip to content

Remove triagebot.toml#126

Merged
eldruin merged 1 commit intorust-embedded:masterfrom
Kobzol:remove-triagebot-toml
Feb 12, 2026
Merged

Remove triagebot.toml#126
eldruin merged 1 commit intorust-embedded:masterfrom
Kobzol:remove-triagebot-toml

Conversation

@Kobzol
Copy link
Contributor

@Kobzol Kobzol commented Feb 11, 2026

Removing unused triagebot configuration.

Context: rust-embedded/wg#902

@Kobzol Kobzol requested a review from a team as a code owner February 11, 2026 12:42
@jannic
Copy link
Member

jannic commented Feb 11, 2026

CI could be fixed by merging #127

@eldruin eldruin force-pushed the remove-triagebot-toml branch from a818e26 to 4487b61 Compare February 12, 2026 06:57
Copy link
Member

@eldruin eldruin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@eldruin eldruin enabled auto-merge February 12, 2026 06:57
@eldruin eldruin added this pull request to the merge queue Feb 12, 2026
Merged via the queue into rust-embedded:master with commit e9ccbf9 Feb 12, 2026
8 checks passed
@Kobzol Kobzol deleted the remove-triagebot-toml branch February 12, 2026 07:04
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.

3 participants