Setup the `@rustbot prioritize` command

This commit is contained in:
LeSeulArtichaut 2020-04-10 15:22:40 +02:00
parent 167510f776
commit dc4c3e9da6
1 changed files with 4 additions and 0 deletions

View File

@ -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