E.g. https://github.com/rust-lang/rust/pull/140966#issuecomment-2886704667, seems like `@rustbot ping rfl` is not working (at least sometimes?).
E.g. rust-lang/rust#140966 (comment), seems like
@rustbot ping rflis not working (at least sometimes?).