Release process

1. Navigate to the Github Releases Page.
2. Select the tag name for this release using this format: OQS-OpenSSH-snapshot-yyyy-mm. e.g. OQS-OpenSSH-snapshot-2024-08
3. Enter the tag under "Choose a tag" and select "Create a new Tag". n.b. We are not actually creating a tag right now, just generating release notes for the repository.
4. Click "Generate release notes".
5. Copy the text into RELEASE.md.
6. Update the rest of RELEASE.md as appropriate. e.g. liboqs version, dates, etc.
7. Update the macros in version.h.
8. Stage a commit, submit a PR, and merge the changes. e.g. PR #171
9. Repeat steps 1-4. Click "Publish Release"