Skip to content

changelog: automated update#84

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
bot/changelog-update
Closed

changelog: automated update#84
github-actions[bot] wants to merge 1 commit into
mainfrom
bot/changelog-update

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated changelog regeneration — see .github/workflows/update-changelog.yml and
tools/gen_changelog.mjs. Entries are extracted verbatim from merged PR bodies; nothing here
is hand-written.

This PR intentionally carries no ## What this means for you section. When it merges, this
same workflow runs again against its own body, finds no marker, regenerates nothing, and exits
before opening another PR — that's the loop's convergence point, not a gap.

@jimdc

jimdc commented Jul 20, 2026

Copy link
Copy Markdown
Collaborator

Superseded — the automated regeneration this ran from carried forward stale page content from before a prior curation pass (#83), which is what failed CI. #83's changelog is already correct on main with no changes still pending, so there's nothing left for this PR to add. Closing; the pipeline (now fixed) will open a fresh PR the next time a qualifying change merges.

@jimdc jimdc closed this Jul 20, 2026
@jimdc
jimdc deleted the bot/changelog-update branch July 20, 2026 19:48
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