diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-06-11 22:58:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-11 22:58:26 +0200 |
| commit | deea0677f4c3236db40066bc9b45d2ba2fb13b27 (patch) | |
| tree | fbb92ea9aeac3478a1bea076a90fb0acbb092048 /triagebot.toml | |
| parent | b29c9a3588fb5cad281a1fb006bed87a7f956a44 (diff) | |
| parent | 296f9f2513b4540631455d8baec3910ea5ba4c1a (diff) | |
| download | rust-deea0677f4c3236db40066bc9b45d2ba2fb13b27.tar.gz rust-deea0677f4c3236db40066bc9b45d2ba2fb13b27.zip | |
Rollup merge of #142314 - cyrgani:icebreaker, r=jieyouxu
remove ice group pings from `triagebot.toml` Followup to rust-lang/team#1860. Question: should the https://github.com/rust-lang/rust/labels/ICEBreaker-Cleanup-Crew and https://github.com/rust-lang/rust/labels/ICEBreaker-LLVM labels be deleted too or not?
Diffstat (limited to 'triagebot.toml')
| -rw-r--r-- | triagebot.toml | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/triagebot.toml b/triagebot.toml index 09a78b6a34e..0ea45d13be1 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -44,29 +44,6 @@ remove_labels = ["S-waiting-on-author"] # Those labels are added when PR author requests a review from an assignee add_labels = ["S-waiting-on-review"] -[ping.icebreakers-llvm] -message = """\ -Hey LLVM ICE-breakers! This bug has been identified as a good -"LLVM ICE-breaking candidate". In case it's useful, here are some -[instructions] for tackling these sorts of bugs. Maybe take a look? -Thanks! <3 - -[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/llvm.html -""" -label = "ICEBreaker-LLVM" - -[ping.icebreakers-cleanup-crew] -alias = ["cleanup", "cleanups", "cleanup-crew", "shrink", "reduce", "bisect"] -message = """\ -Hey Cleanup Crew ICE-breakers! This bug has been identified as a good -"Cleanup ICE-breaking candidate". In case it's useful, here are some -[instructions] for tackling these sorts of bugs. Maybe take a look? -Thanks! <3 - -[instructions]: https://rustc-dev-guide.rust-lang.org/notification-groups/cleanup-crew.html -""" -label = "ICEBreaker-Cleanup-Crew" - [ping.windows] message = """\ Hey Windows Group! This bug has been identified as a good "Windows candidate". |