Skip to content

docs: say the default squash body drops footers; correct the #54 example (#61) - #62

Merged
abienkowski merged 1 commit into
mainfrom
docs/squash-footer-v0.3.0
Oct 8, 2026
Merged

abienkowski merged 1 commit into
mainfrom
docs/squash-footer-v0.3.0

Conversation

@abienkowski

Copy link
Copy Markdown
Collaborator

Description

#60 was merged with this repo's default squash body (COMMIT_MESSAGES, the commit list). Its intended Release-As: v0.3.0 footer therefore never reached main. The new version step worked correctly on its first real run (Latest tag: v0.2.26; range: v0.2.26..HEAD, bump=patch, tag=v0.2.27, 11 assets) and shipped v0.2.27.

This PR updates docs/release-versioning.md:

Closes #61

Merging this PR cuts v0.3.0

Dry run of the exact pipeline on a simulated squash of this branch onto main:

latest=v0.2.27 range=v0.2.27..sim
bump=release-as
tag=v0.3.0

Squash-merge with the message file (not the default body, and not rebase):

gh pr merge <this PR> --squash \
  --subject "docs: say the default squash body drops footers; correct the #54 example (#61)" \
  --body-file squash-61.txt

squash-61.txt:

Document that the repo default squash body leaves out PR-description
footers, and correct the #54 worked example.

Release-As: v0.3.0

Type of change

  • Bug fix
  • New feature
  • Breaking change
  • Documentation update

Implementation(s) changed

  • Go
  • Rust
  • TypeScript
  • Quint specification
  • CI / infrastructure

Testing

  • Dry run of scripts/release-version.sh on a simulated squash commit (above)
  • Unit / integration tests: not run, because this PR changes docs only

Checklist

@abienkowski abienkowski added the Type: Documentation Added to issues or PRs that relate to the project wiki, or documentation. label Oct 8, 2026
@abienkowski abienkowski self-assigned this Oct 8, 2026
@abienkowski
abienkowski merged commit bd4c026 into main Oct 8, 2026
7 checks passed
@abienkowski
abienkowski deleted the docs/squash-footer-v0.3.0 branch October 8, 2026 00:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Documentation Added to issues or PRs that relate to the project wiki, or documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Release docs: default squash body drops Release-As/BREAKING CHANGE footers; cut v0.3.0

1 participant