git checkout dev
git merge master
git push
git checkout master