]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'je/doc-pull'
authorJunio C Hamano <gitster@pobox.com>
Wed, 22 Oct 2025 18:38:58 +0000 (11:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Oct 2025 18:38:58 +0000 (11:38 -0700)
commit0e746434e80e52f251c16df32d591639fdd2f53c
tree7644f34b553d519fb380344d6b85ca9874164f80
parent98401c10fc9e991b36c4ccf5a270746f123feeb6
parente9d221b0b70869fa770e95acf143149c0b8705f6
Merge branch 'je/doc-pull'

Documentation updates.

* je/doc-pull:
  doc: git-pull: clarify how to exit a conflicted merge
  doc: git-pull: delete the example
  doc: git-pull: clarify options for integrating remote branch
  doc: git-pull: move <repository> and <refspec> params