]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d36991a dc4c3e9)
Rollup merge of #70988 - LeSeulArtichaut:triagebot-prioritize, r=Mark-Simulacrum
authorMazdak Farrokhzad <twingoow@gmail.com>
Fri, 10 Apr 2020 16:15:27 +0000 (18:15 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Apr 2020 16:15:27 +0000 (18:15 +0200)
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


Trivial merge
Empowering everyone to build reliable and efficient software.