doc: Specify boxes to check in GitHub release tool

This commit is contained in:
patrick96 2023-11-05 20:02:24 +01:00
parent f8983e2bd3
commit 70c400d20d
No known key found for this signature in database
GPG Key ID: 521E5E03AEBCA1A7
1 changed files with 3 additions and 0 deletions

View File

@ -209,6 +209,9 @@ In addition using GitHub's "Auto-generate release notes" feature, the list of
new contributors should be generated and put at the end of the release notes.
The generated list of PRs can be removed.
At the bottom, check the two boxes "Set as the latest release" and "Create a
discussion for this release" (select the category "Announcements").
After-Release Checklist
~~~~~~~~~~~~~~~~~~~~~~~