Skip to content

Stop submit at an empty branch in the middle of the stack - #68

Merged
DomBlack merged 1 commit into
dom/sync-remote-trunkfrom
dom/submit-empty-branch
Nov 4, 2026
Merged

DomBlack merged 1 commit into
dom/sync-remote-trunkfrom
dom/submit-empty-branch

Conversation

@DomBlack

@DomBlack DomBlack commented Nov 4, 2026 •

Copy link
Copy Markdown
Owner

A branch with no commits of its own (everything in it is already in the branch below, which is easy to end up with after a reorder) can't have a pull request, since GitHub won't open one with no commits. In the middle of a stack that's a dead end, because the PRs above it have nothing to stack on, and submit only found out part way through pushing.

Submit now checks before pushing anything. An empty branch without an open PR under another branch being submitted stops it, with the git stack reorder that moves it to the top (or the pop or modify that gets rid of it). At the top of what's submitted it's just a notice, and a dry run says either without stopping.

A branch with no commits of its own (all of it already in the branch
below, e.g. after a reorder or a pop moved its work elsewhere) can't get a
pull request: GitHub refuses to open one with no commits. Sitting under
other branches that is a dead end, since their pull requests have nothing
to stack on, and submit only found out part way through pushing.

Check before anything is pushed. An empty branch without an open pull
request under another branch being submitted stops the submit with the
git stack reorder that moves it to the top, or the pop or modify that
gets rid of it. At the top of what is submitted it is only a notice, and
a dry run says either without stopping.
@DomBlack
DomBlack added this pull request to stack #70 November 4, 2026 17:08
@DomBlack DomBlack added the enhancement New feature or request label Nov 4, 2026
@DomBlack
DomBlack merged commit b2f8384 into main Nov 4, 2026
9 of 10 checks passed
@DomBlack
DomBlack deleted the dom/submit-empty-branch branch November 4, 2026 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant