diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-01-28 10:48:23 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-28 10:48:23 +0900 |
| commit | aac5788a618863000184cc0c8bb48153143a5378 (patch) | |
| tree | 738e56f58b7d438b9a43051a236b6f0c326005f7 | |
| parent | 41110edeeb3e8054b5ba4b662f075259711a75eb (diff) | |
| parent | 3124603f0948fd5e2a1dc88908436d508846b7c6 (diff) | |
| download | rust-aac5788a618863000184cc0c8bb48153143a5378.tar.gz rust-aac5788a618863000184cc0c8bb48153143a5378.zip | |
Rollup merge of #68581 - spastorino:support-ice-breaker-cleanup-crew, r=Dylan-DPC
Add support for icebreakers-cleanup-crew commands r? @nikomatsakis
| -rw-r--r-- | triagebot.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index f0e3a99037b..7ece7f977ce 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -19,3 +19,14 @@ Thanks! <3 [instructions]: https://rust-lang.github.io/rustc-guide/ice-breaker/llvm.html """ label = "ICEBreaker-LLVM" + +[ping.icebreakers-cleanup-crew] +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://rust-lang.github.io/rustc-guide/ice-breaker/cleanup-crew.html +""" +label = "ICEBreaker-Cleanup-Crew" |