auth-server-java/push.sh

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