Skip to content

Check that the current HEAD is reasonable when doing a push #36

@tgross35

Description

@tgross35

I accidentally started a push from a main that wasn't the upstream main, and just barely realized because I clicked the link in the PR description and got the "This commit does not belong to any branch on this repository" warning. Maybe we could check that the current local commit exists on the remote's default branch, and error if not?

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