The new release.sh script is working but some refinements would be good: - sort the PR titles so that all Fix/Choe/Feat lines go together - maybe make a GitHub release from the new tag
The new release.sh script is working but some refinements would be good: