Release versioning with git tag

release.sh

# Go to master
git checkout master
# Merge the new stuff
git merge develop
# This is our release, so tag it
git tag "$VERSION" -a -m "Release $VERSION"
# Make the updated master branch public, including the fresh tag
git push --tags origin master
# Now go back to dev
git checkout dev
# We merge back master into dev, including the tag object, so
# the new version tag is visible there
git merge master
# Make the updated dev branch public, including the fresh tag
git push --tags origin dev