Skip to content

GitHub API: check repository for null #8733

Closed
@kylos101

Description

@kylos101

Bug description

image

Steps to reproduce

Delete a branch in a PR.
Restore it.
Try opening this using the Gitpod browser extension.

Originally discovered here

Workspace affected

n/a

Expected behavior

Should be able to open Gitpod from a branch which was deleted and is now restored.

Example repository

gitpod-io/workspace-images#564

Anything else?

No response

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    Status

    Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions