Open
Description
openedon Sep 20, 2023
In rust-lang/rust#115972 rustbot should have pinged some people due to the files that were changed (mentions
rules), but somehow that didn't happen. I would understand if it missed the PR entirely due to github not running the hook or whatever, but it did auto-assign a reviewer, so clearly the PR was visible -- it just somehow skipped the part where it is supposed to ping people.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Metadata
Assignees
Labels
Area: PR auto mentionsArea: PR auto mentionsSomething isn't workingSomething isn't workingThe reproduction steps are unclearThe reproduction steps are unclear