Skip to content

Drop What's Changed tail from changelog files#80

Open
ikarenkov wants to merge 1 commit into
devfrom
changelog-drop-whats-changed
Open

Drop What's Changed tail from changelog files#80
ikarenkov wants to merge 1 commit into
devfrom
changelog-drop-whats-changed

Conversation

@ikarenkov
Copy link
Copy Markdown
Owner

Fix

Drop the trailing ## What's Changed block from changelogs/0.12.0.md. The GitHub Release workflow appends GitHub's auto-generated What's Changed when it creates the release; keeping one in the changelog file produced a duplicate visible on the v0.12.0 release page.

The existing v0.12.0 release body on GitHub will be cleaned up via gh release edit independently of this PR.

Agent docs

Document the rule in AGENTS.md so future changelog files don't bring the block back.

The GitHub Release workflow appends GitHub's auto-generated section;
including one in changelogs/<version>.md duplicates it on the release
page. Strip 0.12.0.md and document the rule in AGENTS.md.
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