Skip to content

PR diff does not always recognize PR  #618

@akosyakov

Description

@akosyakov

See There is no pull request.:

Screen Shot 2019-06-17 at 12 45 22

It's reproducible for: eclipse-theia/theia#5326

Metadata

Metadata

Assignees

No one assigned

    Labels

    meta: staleThis issue/PR is stale and will be closed soon

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions