Skip to content

Bors did not report a merge conflict #78007

New issue
New issue
Closed
Closed
Bors did not report a merge conflict#78007
Labels
C-bugCategory: This is a bug.T-infraRelevant to the infrastructure team, which will review and decide on the PR/issue.
@TimDiekmann

Description

@TimDiekmann
TimDiekmann
opened on Oct 16, 2020

#77981 has made three very small changes, one of those made #77187 unmergable. Previously, bors reported, if a pull request got unmergable.

@rustbot modify labels: +T-infra

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.T-infraRelevant to the infrastructure team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions