Skip to content

"Pull request" button is disabled on local, even if we've detected a GitHub remote #718

@rbren

Description

@rbren

The "pull request" button is only enabled (I think) when a repository was selected, which currently only works on cloud

We have some logic to detect if there's a git remote in the workspace, which means we know what repo we're working with

This should enable the PR button. Maybe we should be tracking the repository for this conversation more explicitly too

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    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