Publishing a release
Release tags are created manually by authorized maintainers. Merging a release pull request does not create a tag.
Merge the reviewed release pull request and record its actual merged commit SHA.
As an authorized maintainer, check that commit and its version before creating the tag. Replace the placeholders below:
bashRELEASE_VERSION="<version>"