]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 19d5a0b 078c425)
Merge branch 'rs/name-rev-use-opt-hidden-bool'
authorJunio C Hamano <gitster@pobox.com>
Thu, 14 Sep 2023 18:16:58 +0000 (11:16 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 14 Sep 2023 18:16:58 +0000 (11:16 -0700)
commitd4cab3717f1afb6d0f423fa7b1cd87b657c507e3
tree817946666b833973724c4304df353faf80d27dactree | snapshot
parent19d5a0b2c130b167c1f8c5bfab9ef2d8c49f78d0commit | diff
parent078c42531e8d6e8c7bfaa1a52dca330f0eef5d94commit | diff
Merge branch 'rs/name-rev-use-opt-hidden-bool'

Simplify use of parse-options API a bit.

* rs/name-rev-use-opt-hidden-bool:
  name-rev: use OPT_HIDDEN_BOOL for --peel-tag
Unnamed repository; edit this file 'description' to name the repository.