With skip-labeling: true, release-please couldn't find its own PRs
on subsequent runs (it searches by the autorelease: pending label).
This prevented it from updating the PR body when new commits landed.
Closing the release PR before release-please runs prevented
release-please from recognizing the PR on merge, so it never created
GitHub Releases or tags. The close-reopen approach is incompatible
with release-please's PR tracking.
Keep cancel-in-progress: true for rapid-succession merges and the
release-merge detection for skipping validate. Accept that the PR
body may be stale -- GitHub Releases get correct changelogs at merge
time regardless.
When a release PR merges, the validate step would fail on version drift
that the release PR itself introduced, blocking release-please from
creating tags and GitHub Releases. Detect release PR merges by commit
message prefix and skip validate + stale-close steps so release-please
runs unimpeded.
release-please skips updating the PR body when it finds an existing PR,
causing the changelog to miss commits that landed after the PR was
created. Fix by closing the stale PR before release-please runs so it
always creates a fresh PR with the full changelog.
Also set cancel-in-progress: true so rapid successive merges don't
race to create the PR with partial commit history.
