diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2025-05-18 11:03:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-18 11:03:48 +0200 |
| commit | c7e2e88da00a47346b76629ca3f72bf3a49d2bbf (patch) | |
| tree | 1d4c6dfa318a2fc89e43816fbc80b84ac503aa7f /src/doc | |
| parent | b89118aed836b745ca85e9d0b17ee914601deb7a (diff) | |
| parent | 2dddbd1ecb586b7a7dc67c078c2f7785a5cb63ba (diff) | |
| download | rust-c7e2e88da00a47346b76629ca3f72bf3a49d2bbf.tar.gz rust-c7e2e88da00a47346b76629ca3f72bf3a49d2bbf.zip | |
Rollup merge of #141139 - jieyouxu:fix-rfl, r=Urgau
Fix Rust for Linux ping group label Noticed in https://github.com/rust-lang/rust/pull/140966#issuecomment-2886704667. Seems like a broken label can cause the triagebot ping message to not be issued. See https://github.com/rust-lang/triagebot/issues/1992. ```@rustbot``` label: +A-rust-for-linux
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/notification-groups/rust-for-linux.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/notification-groups/rust-for-linux.md b/src/doc/rustc-dev-guide/src/notification-groups/rust-for-linux.md index 9ba4eff629e..696f2038e1a 100644 --- a/src/doc/rustc-dev-guide/src/notification-groups/rust-for-linux.md +++ b/src/doc/rustc-dev-guide/src/notification-groups/rust-for-linux.md @@ -1,9 +1,9 @@ # Rust for Linux notification group -**Github Label:** [O-rfl] <br> +**Github Label:** [A-rust-for-linux] <br> **Ping command:** `@rustbot ping rfl` -[O-rfl]: https://github.com/rust-lang/rust/labels/O-rfl +[A-rust-for-linux]: https://github.com/rust-lang/rust/labels/A-rust-for-linux This list will be used to notify [Rust for Linux (RfL)][rfl] maintainers when the compiler or the standard library changes in a way that would |