]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'ws/git-push-doc-grammofix'
authorJunio C Hamano <gitster@pobox.com>
Thu, 24 Aug 2023 16:32:33 +0000 (09:32 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 24 Aug 2023 16:32:33 +0000 (09:32 -0700)
Doc update.

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

1  2 
Documentation/git-push.txt

Simple merge