From 95f271c3c0c1f5a0cf7eff6f3b5328e34aa0fa8e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 2 Nov 2023 17:40:37 +0100 Subject: [PATCH] notification groups: add information about how to ping them to the respective pages --- src/notification-groups/arm.md | 3 ++- src/notification-groups/cleanup-crew.md | 3 ++- src/notification-groups/llvm.md | 3 ++- src/notification-groups/risc-v.md | 3 ++- src/notification-groups/windows.md | 3 ++- 5 files changed, 10 insertions(+), 5 deletions(-) diff --git a/src/notification-groups/arm.md b/src/notification-groups/arm.md index 4514f8ef3..3abc32c68 100644 --- 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]
+**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 index 707334304..9cf4e512c 100644 --- 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]
+**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 index 69edd8b54..2eff63713 100644 --- 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]
+**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 index 15ce1cfc6..1b31297b6 100644 --- 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]
+**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 index 0483babd8..e615a2cbd 100644 --- 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]
+**Ping command:** `@rustbot ping windows` [O-Windows]: https://github.com/rust-lang/rust/labels/O-Windows