Documentation/git-push.txt: minor: compress one option