Merge branch 'ws/git-push-doc-grammofix'

Doc update. * ws/git-push-doc-grammofix: git-push.txt: fix grammar

Junio C Hamano committed Aug 24, 2023 at 09:32 UTC 2f8aa2c3a0236c90a505364ddd4a463fd48bafbc

No changes.