git branch -b your-release-branch
./tools/bin/release_version.sh patch # or minor or major
git push --set-upstream origin your-release-branch
# create PR from branch
# merge PR
git checkout master
./tools/bin/tag_version.sh
tools
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||