Page History

...

Create a new Git tag for the released version by creating a new release version on GitHub.copying the tag for the final release candidate, as follows:

git tag -s "release-${RELEASE_VERSION}" ${TAG}

Checklist to proceed to the next step

...