Files
Mauricio Siu 56162eb3e0 fix: generate release notes ourselves for hotfix releases
Hotfixes land on main via git cherry-pick (hotfix-cherry-pick.yml),
not a PR merged into main, so GitHub's generate_release_notes can't
associate any PR with those commits and the release body comes back
empty (see v0.30.1).

Build the "What's Changed" list from the cherry-picked
"Merge pull request #N ..." commit messages instead, resolving each
PR's title/author via gh.
2026-08-18 15:26:41 -06:00
..
2024-07-16 19:45:41 -06:00