How to create a version release

howto-release.txt

git fetch
git checkout -b release develop

--- Merge release into master branch
git checkout master
git pull origin master
git merge release
git push origin master

--- Merge release into develop branch
git checkout develop
git merge release
git push origin develop

--- Delete release branch
git branch -d release

--- Create a version tag
git tag -a x.x.x -m "Commit message" master
git push --tags