notification groups: add information about how to ping them to the respective pages (#1818)

This commit is contained in:
Ralf Jung 2023-11-27 23:08:19 +01:00 committed by GitHub
parent 68d24f1546
commit b8c4cd1c36
5 changed files with 10 additions and 5 deletions

View File

@ -1,6 +1,7 @@
# ARM notification group
**Github Label:** [O-ARM]
**Github Label:** [O-ARM] <br>
**Ping command:** `@rustbot ping arm`
[O-ARM]: https://github.com/rust-lang/rust/labels/O-ARM

View File

@ -1,6 +1,7 @@
# Cleanup Crew
**Github Label:** [ICEBreaker-Cleanup-Crew]
**Github Label:** [ICEBreaker-Cleanup-Crew] <br>
**Ping command:** `@rustbot ping cleanup-crew`
[ICEBreaker-Cleanup-Crew]: https://github.com/rust-lang/rust/labels/ICEBreaker-Cleanup-Crew

View File

@ -1,6 +1,7 @@
# LLVM Notification group
**Github Label:** [A-LLVM]
**Github Label:** [A-LLVM] <br>
**Ping command:** `@rustbot ping llvm`
[A-LLVM]: https://github.com/rust-lang/rust/labels/A-LLVM

View File

@ -1,6 +1,7 @@
# RISC-V notification group
**Github Label:** [O-riscv]
**Github Label:** [O-riscv] <br>
**Ping command:** `@rustbot ping risc-v`
[O-riscv]: https://github.com/rust-lang/rust/labels/O-riscv

View File

@ -1,6 +1,7 @@
# Windows notification group
**Github Label:** [O-Windows]
**Github Label:** [O-Windows] <br>
**Ping command:** `@rustbot ping windows`
[O-Windows]: https://github.com/rust-lang/rust/labels/O-Windows