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

Merge branch 'rs/grep-parseopt-simplify'

Simplify use of parse-options API a bit.

* rs/grep-parseopt-simplify:
  grep: use OPT_INTEGER_F for --max-depth
---

19d5a0b2c130b167c1f8c5bfab9ef2d8c49f78d0