Merge branch 'ws/git-push-doc-grammofix' into maint-2.42

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

Junio C Hamano committed Nov 2, 2023 at 16:53 UTC c78718c4b3b737151e7883c0c0110933f599fd07

No changes.