git-push: remove obsolete git-push.sh