]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'je/doc-push' into jch
authorJunio C Hamano <gitster@pobox.com>
Sun, 5 Oct 2025 22:04:12 +0000 (15:04 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 5 Oct 2025 22:04:12 +0000 (15:04 -0700)
Doc updates.

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


Trivial merge