Enable to ping RISC-V group via triagebot
This commit is contained in:
parent
1f5d69dacc
commit
b85dae00dc
@ -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"
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user