Right now we're generating the release notes manually and publishing them as GitHub releases. The release pipeline should take care of that automatically.