Rollup merge of #153720 - davidtwco:contact-arm-maintainers, r=RalfJung

doc/rustc: clarify how to contact arm-maintainers

Addresses feedback from #147268 (comment)

Author: JonathanBrouwer

src/doc/rustc/src/platform-support/aarch64-unknown-linux-gnu.md

@@ -7,6 +7,7 @@ Target for 64-bit little endian ARMv8-A Linux 4.1+ programs using glibc 2.17+.
 ## Target maintainers
 
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml
 [arm_email]: mailto:rust@arm.com

src/doc/rustc/src/platform-support/aarch64-unknown-none.md

@@ -16,6 +16,7 @@ Processors in this family include the [Arm Cortex-A35, 53, 76, etc][aarch64-cpus
 
 - [Rust Embedded Devices Working Group Arm Team]
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [Rust Embedded Devices Working Group Arm Team]: https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml

src/doc/rustc/src/platform-support/aarch64v8r-unknown-none.md

@@ -16,6 +16,7 @@ For Armv8-R CPUs running in AArch32 mode (such as the Arm Cortex-R52), see
 
 - [Rust Embedded Devices Working Group Arm Team]
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [Rust Embedded Devices Working Group Arm Team]: https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml

src/doc/rustc/src/platform-support/armv7-unknown-linux-gnueabi.md

@@ -8,6 +8,7 @@ Target for 32-bit little endian ARMv7-A Linux 3.2+ programs using glibc 2.17+.
 ## Target maintainers
 
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml
 [arm_email]: mailto:rust@arm.com

src/doc/rustc/src/platform-support/armv7a-none-eabi.md

@@ -24,6 +24,7 @@ See [`arm-none-eabi`](arm-none-eabi.md) for information applicable to all
 
 - [Rust Embedded Devices Working Group Arm Team]
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [Rust Embedded Devices Working Group Arm Team]: https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml

src/doc/rustc/src/platform-support/armv7r-none-eabi.md

@@ -22,6 +22,7 @@ See [`arm-none-eabi`](arm-none-eabi.md) for information applicable to all
 - [@chrisnc](https://github.com/chrisnc)
 - [Rust Embedded Devices Working Group Arm Team]
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [Rust Embedded Devices Working Group Arm Team]: https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml

src/doc/rustc/src/platform-support/armv8r-none-eabihf.md

@@ -26,6 +26,7 @@ For Armv8-R CPUs running in AArch64 mode (such as the Arm Cortex-R82), see
 - [@chrisnc](https://github.com/chrisnc)
 - [Rust Embedded Devices Working Group Arm Team]
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [Rust Embedded Devices Working Group Arm Team]: https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml

src/doc/rustc/src/platform-support/thumbv7em-none-eabi.md

@@ -24,6 +24,7 @@ See [`arm-none-eabi`](arm-none-eabi.md) for information applicable to all
 
 - [Rust Embedded Devices Working Group Arm Team](https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team)
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml
 [arm_email]: mailto:rust@arm.com

src/doc/rustc/src/platform-support/thumbv7m-none-eabi.md

@@ -25,6 +25,7 @@ only option because there is no FPU support in [Armv7-M].
 
 - [Rust Embedded Devices Working Group Arm Team](https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team)
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml
 [arm_email]: mailto:rust@arm.com

src/doc/rustc/src/platform-support/thumbv8m.base-none-eabi.md

@@ -25,6 +25,7 @@ only option because there is no FPU support in [Armv8-M] Baseline.
 
 - [Rust Embedded Devices Working Group Arm Team](https://github.com/rust-embedded/wg?tab=readme-ov-file#the-arm-team)
 - [@rust-lang/arm-maintainers][arm_maintainers] ([rust@arm.com][arm_email])
+    - Use `@rustbot ping arm-maintainers` to ping us
 
 [arm_maintainers]: https://github.com/rust-lang/team/blob/master/teams/arm-maintainers.toml
 [arm_email]: mailto:rust@arm.com