mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
León Orell Valerian Liehr 2025-05-18 11:03:48 +02:00 committed by GitHub
parent 7e9ba552d8 2ef17aa39b
commit 57af1ce1f0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/notification-groups/rust-for-linux.md
View File

@ -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