script/deploy/git-merge-and-push.sh: add push dev