diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-04-10 18:15:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 18:15:27 +0200 |
| commit | 6dc77f546d84daa84076e555b3f227f7b76db859 (patch) | |
| tree | 7603e024c3e52f8c48527b1ad6ff75adc5c54421 | |
| parent | d36991a400e314325284b8a0cd21591ae8eebadb (diff) | |
| parent | dc4c3e9da67e00a025a60e2785629b44df14f7a2 (diff) | |
| download | rust-6dc77f546d84daa84076e555b3f227f7b76db859.tar.gz rust-6dc77f546d84daa84076e555b3f227f7b76db859.zip | |
Rollup merge of #70988 - LeSeulArtichaut:triagebot-prioritize, r=Mark-Simulacrum
Setup the `@rustbot prioritize` command See rust-lang/triagebot#453 r? @Mark-Simulacrum can you confirm that the `t-compiler/wg-prioritization` stream ID is `227806`? cc @spastorino
| -rw-r--r-- | triagebot.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 2476f414e0e..56d29994a8d 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -33,3 +33,7 @@ Thanks! <3 [instructions]: https://rustc-dev-guide.rust-lang.org/ice-breaker/cleanup-crew.html """ label = "ICEBreaker-Cleanup-Crew" + +[prioritize] +label = "I-prioritize" +zulip_stream = 227806 |