git checkout master
git merge dev
git push --all
git push --tags
git checkout dev