Page History

...

RELEASE_VERSION="1.45.0"
SHORT_RELEASE_VERSION="1.45"
CURRENT_SNAPSHOT_VERSION="$SHORT_RELEASE_VERSION-SNAPSHOT"
NEXT_SNAPSHOT_VERSION="1.56-SNAPSHOT"

Most of the following commands have to be executed in the tools directory, we will prefix the command prompt to make this explicit.

...

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

git tag -s “release-${RELEASE_VERSION}” ${TAG}

Merge website pull request

...