]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'rj/advice-delete-branch-not-fully-merged' into rj/advice-disable-how...
authorJunio C Hamano <gitster@pobox.com>
Tue, 16 Jan 2024 21:06:35 +0000 (13:06 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 16 Jan 2024 21:06:35 +0000 (13:06 -0800)
* rj/advice-delete-branch-not-fully-merged:
  branch: make the advice to force-deleting a conditional one
  advice: fix an unexpected leading space
  advice: sort the advice related lists


Trivial merge