From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 14 Sep 2023 18:16:58 +0000 (-0700)
Subject: Merge branch 'rs/name-rev-use-opt-hidden-bool'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=d4cab3717f1afb6d0f423fa7b1cd87b657c507e3;p=rit

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
---

d4cab3717f1afb6d0f423fa7b1cd87b657c507e3