From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 2 Nov 2023 07:53:24 +0000 (+0900)
Subject: Merge branch 'rs/name-rev-use-opt-hidden-bool' into maint-2.42
X-Git-Tag: v2.42.1~18
X-Git-Url: http://git.ipfire.org/gitweb/gitweb.cgi?a=commitdiff_plain;h=f76827da0e54490b3c4778ce19947b91d6828495;p=thirdparty%2Fgit.git

Merge branch 'rs/name-rev-use-opt-hidden-bool' into maint-2.42

Simplify use of parse-options API a bit.

* rs/name-rev-use-opt-hidden-bool:
  name-rev: use OPT_HIDDEN_BOOL for --peel-tag
---

f76827da0e54490b3c4778ce19947b91d6828495