documentation: add formatted release notes to the GitHub release #9009
Labels
area/documentation
Impacts the documentation, including textual changes, sphinx, or other doc generation code.
Projects
We post these on the Slack, add them to the GitHub release too as they are more human-readable and are organized better.
The text was updated successfully, but these errors were encountered: