Skip to content

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

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?

No activity

Activity on this issue will appear here.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions