Skip to content

docs: put release footers in the commit itself; cut v0.3.0 (#63) - #66

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

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

Conversation

@abienkowski

Copy link
Copy Markdown
Collaborator

Description

#64 was merged with an empty squash body, so its Release-As: v0.3.0 footer missed main, as it had for #60 and #62. Release run 37774150988 was cancelled before tagging. The cause: the footer only ever existed in a separate merge-message file. GitHub's default squash message for a single-commit PR is the commit's own message, and that commit had no body.

This PR's single commit carries the footer in its own message, so a default "Squash and merge" (web or CLI, no custom message) keeps it. docs/release-versioning.md now recommends this, and its worked examples record #64.

Closes #63

Dry run (simulated default squash = commit message + (#N))

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

Merge: plain "Squash and merge" with the default message. Don't rebase, and don't replace the body.

Type of change

  • Documentation update

Testing

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

Checklist

The default squash message for a single-commit PR is the commit's own
message, so a footer written here survives a default merge. Footers kept
only in the PR description or a merge-message file were dropped three
times (#60, #62, #64).

Release-As: v0.3.0
@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 53c8a7c into main Oct 8, 2026
7 checks passed
@abienkowski
abienkowski deleted the docs/cut-v0.3.0-footer branch October 8, 2026 12:23
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.

Cut v0.3.0: the Release-As footer was dropped from #60 and #62

1 participant