]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'je/doc-push'
authorJunio C Hamano <gitster@pobox.com>
Tue, 7 Oct 2025 19:25:26 +0000 (12:25 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 7 Oct 2025 19:25:26 +0000 (12:25 -0700)
Doc updates.

* je/doc-push:
  doc: git-push: rewrite refspec specification
  doc: git-push: create PUSH RULES section


Trivial merge