Skip to content

chore: make just release open a pull request - #4

Merged
MatthewHsu1 merged 1 commit into
mainfrom
chore/release-pr-flow
Aug 24, 2026
Merged

MatthewHsu1 merged 1 commit into
mainfrom
chore/release-pr-flow

Conversation

@MatthewHsu1

Copy link
Copy Markdown
Owner

main is protected and refuses direct pushes, so the old release recipe always failed at git push origin main — after it had already committed and tagged locally.

The flow is now two steps:

command what it does
just release <level> bumps the version on chore/release-<version> and opens the pull request. Tags nothing.
just release-tag after the merge, tags main and pushes the tag — which is what .github/workflows/publish.yml listens for.

The tag is deliberately made after the merge. A tag made before it would point at a commit that a squash or rebase merge discards, and a published version cannot be taken back.

main is protected and refuses direct pushes, so the old recipe always
failed at 'git push origin main' after it had already committed and
tagged locally.

The flow is now two steps:

  just release <level>  bumps the version on chore/release-<version>
                        and opens the pull request. Tags nothing.
  just release-tag      after the merge, tags main and pushes the tag,
                        which is what .github/workflows/publish.yml
                        listens for.

The tag is deliberately made after the merge. A tag made before it
would point at a commit that a squash or rebase merge discards, and a
published version cannot be taken back.
@MatthewHsu1
MatthewHsu1 merged commit 2b9768b into main Aug 24, 2026
1 check passed
@MatthewHsu1
MatthewHsu1 deleted the chore/release-pr-flow branch August 24, 2026 17:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant