dpt-push: exit with the status of the actual 'git push' command

Closes: #764825: dpt push exits successfully on failures

Putting 'set -e' seems too dangerous for the various 'grep's we have.
Just removing the final 'exit 0' lets the script exit with the status
of the last command, which happens to be 'git push' anyway.