Skip to content

Rustbot whiffs labels if they're in the opening PR message #1731

New issue
New issue
Open
Open
Rustbot whiffs labels if they're in the opening PR message#1731
Labels
A-labelingArea: label commandbugSomething isn't workingneeds reproductionThe reproduction steps are unclear
@workingjubilee

Description

@workingjubilee
workingjubilee
opened on Oct 9, 2023

See rust-lang/rust#116584

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-labelingArea: label commandbugSomething isn't workingneeds reproductionThe reproduction steps are unclear

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions