Tools
Releasing a new version
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