git-push: fix --tags and document it.