Skip to content

Incorrect comment from label bot #584

Open
#613
Open
Incorrect comment from label bot#584
#613
Labels
CI
@jl-wynen

Description

@jl-wynen
jl-wynen
opened on May 12, 2026

In #583, the label bot said that it added a label even though that label already existed. But it did add a title prefix and correctly said so.

Metadata

Metadata

Assignees

No one assigned

    Labels

    CI

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions