Skip to content

Commit

Permalink
notification groups: add information about how to ping them to the re…
Browse files Browse the repository at this point in the history
…spective pages
  • Loading branch information
RalfJung committed Nov 2, 2023
1 parent cd0eabf commit 95f271c
Show file tree
Hide file tree
Showing 5 changed files with 10 additions and 5 deletions.
3 changes: 2 additions & 1 deletion src/notification-groups/arm.md
Original file line number Diff line number Diff line change
@@ -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

Expand Down
3 changes: 2 additions & 1 deletion src/notification-groups/cleanup-crew.md
Original file line number Diff line number Diff line change
@@ -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

Expand Down
3 changes: 2 additions & 1 deletion src/notification-groups/llvm.md
Original file line number Diff line number Diff line change
@@ -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

Expand Down
3 changes: 2 additions & 1 deletion src/notification-groups/risc-v.md
Original file line number Diff line number Diff line change
@@ -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

Expand Down
3 changes: 2 additions & 1 deletion src/notification-groups/windows.md
Original file line number Diff line number Diff line change
@@ -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

Expand Down

0 comments on commit 95f271c

Please sign in to comment.