release.sh: remove "git push origin" policy, replace with checks.
release.sh: remove "git push origin" policy, replace with checks.

Running 'git push origin' at the end of the script will push changes on the
master branch - even if the release is supposed to be a stable branch
release. This may result in not-yet-ready changes being pushed to master.

This patch removes this default git push policy and replaces it with a
warning message if the object belonging to the tag is not on the remote yet.
Requirements: the tag must be on the currently checked-out branch, it is not
possible to cut a branch release from master anymore.

Signed-off-by: Peter Hutterer <b9c50af7afa7642f6f854434cda9ffe54ece8b85@who-t.net>

tmzt/androix-util-modular,freedesktop-unofficial-mirror/xorg__util__modular,tmzt/androix-util-modular,freedesktop-unofficial-mirror/xorg__util__modular,freedesktop-unofficial-mirror/xorg__util__modular