Skip to content

Use changelog-driven GitHub release notes#4

Merged
pasunboneleve merged 2 commits intomainfrom
dev
Apr 8, 2026
Merged

Use changelog-driven GitHub release notes#4
pasunboneleve merged 2 commits intomainfrom
dev

Conversation

@pasunboneleve
Copy link
Copy Markdown
Owner

Summary

  • extract GitHub release notes from the matching CHANGELOG.md section instead of using autogenerated PR summaries
  • document the release-note flow in the development guide
  • backfill the existing v0.6.2, v0.7.0, and v0.8.0 GitHub releases to the changelog-based notes format

Testing

  • cargo fmt
  • cargo test
  • cargo clippy --all-targets --all-features -- -D warnings
  • ./scripts/ci-smoke.sh
  • ./scripts/release-notes-from-changelog.sh 0.8.0 pasunboneleve/devloop
  • roborev review HEAD --wait

@pasunboneleve pasunboneleve merged commit b95fae5 into main Apr 8, 2026
2 checks passed
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