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.
This commit is contained in:
Yuki Okushi 2020-07-29 09:24:24 +09:00 committed by GitHub
commit 18bb8355df
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -58,6 +58,17 @@ Thanks! <3
""" """
label = "O-ARM" 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] [prioritize]
label = "I-prioritize" label = "I-prioritize"