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

Junio C Hamano committed Nov 2, 2023 at 16:53 UTC f76827da0e54490b3c4778ce19947b91d6828495

No changes.