notification groups: add information about how to ping them to the re…

…spective pages (rust-lang#1818)
matthiaskrgr · Nov 27, 2023 · 03113ba · 03113ba
1 parent 7620355
commit 03113ba
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 5 deletions.
diff --git a/src/notification-groups/arm.md b/src/notification-groups/arm.md
@@ -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
 

diff --git a/src/notification-groups/cleanup-crew.md b/src/notification-groups/cleanup-crew.md
@@ -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
 

diff --git a/src/notification-groups/llvm.md b/src/notification-groups/llvm.md
@@ -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
 

diff --git a/src/notification-groups/risc-v.md b/src/notification-groups/risc-v.md
@@ -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
 

diff --git a/src/notification-groups/windows.md b/src/notification-groups/windows.md
@@ -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