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

Junio C Hamano committed Sep 14, 2023 at 11:16 UTC d4cab3717f1afb6d0f423fa7b1cd87b657c507e3

No changes.