From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 2 Nov 2023 07:53:23 +0000 (+0900)
Subject: Merge branch 'rs/grep-parseopt-simplify' into maint-2.42
X-Git-Tag: v2.42.1~19
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2fdfd7594f2ecfe50314ddd0caabc0a84197357e;p=thirdparty%2Fgit.git

Merge branch 'rs/grep-parseopt-simplify' into maint-2.42

Simplify use of parse-options API a bit.

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

2fdfd7594f2ecfe50314ddd0caabc0a84197357e