]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'pb/complete-and-document-auto-merge-and-friends'
authorJunio C Hamano <gitster@pobox.com>
Tue, 20 Jun 2023 22:53:11 +0000 (15:53 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 20 Jun 2023 22:53:12 +0000 (15:53 -0700)
Document more pseudo-refs and teach the command line completion
machinery to complete AUTO_MERGE.

* pb/complete-and-document-auto-merge-and-friends:
  completion: complete AUTO_MERGE
  Documentation: document AUTO_MERGE
  git-merge.txt: modernize word choice in "True merge" section
  completion: complete REVERT_HEAD and BISECT_HEAD
  revisions.txt: document more special refs
  revisions.txt: use description list for special refs


Trivial merge