diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-07-29 09:24:24 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-29 09:24:24 +0900 |
| commit | 18bb8355df1b7040ff8f48d08426ae3f04d83a17 (patch) | |
| tree | 50c9cb1fe5fe7a8938ba6fd6e426f529f59d2a85 | |
| parent | 1de0211d8e1398ff87a466708f65613afbe7ee3d (diff) | |
| parent | b85dae00dc097f4cd7ad292c4f18374020780d7b (diff) | |
| download | rust-18bb8355df1b7040ff8f48d08426ae3f04d83a17.tar.gz rust-18bb8355df1b7040ff8f48d08426ae3f04d83a17.zip | |
Rollup merge of #74872 - JohnTitor:ping-risc-v, r=Mark-Simulacrum
Enable to ping RISC-V group via triagebot We have the RISC-V group (https://github.com/rust-lang/team/blob/master/teams/risc-v.toml) but don't enable to ping on this repository (https://github.com/rust-lang/rust/pull/74813#issuecomment-664841177). We don't have the instructions on the rustc-dev-guide yet but I'll create it soonish.
| -rw-r--r-- | triagebot.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index ce4ea895400..8fe89095ae9 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -58,6 +58,17 @@ Thanks! <3 """ label = "O-ARM" +[ping.risc-v] +message = """\ +Hey RISC-V Group! This bug has been identified as a good "RISC-V 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/risc-v.html +""" +label = "O-riscv" + [prioritize] label = "I-prioritize" |