git-push.sh: Retain cuteness, add helpfulness.