From: Junio C Hamano Date: Fri, 03 May 2024 17:30:59 GMT Subject: Re: [PATCH v4 1/3] doc: clean up usage documentation for --no-* opts Message-ID: In-Reply-To: <20240503071706.78109-2-james@jamesliu.io> James Liu writes: > We'll be adding another option to the --no-* class of options soon. > > Clean up the existing options by grouping them together in the OPTIONS > section, and adding missing ones to the SYNOPSIS. Nice. > diff --git a/Documentation/git.txt b/Documentation/git.txt > index 7a1b112a3e..7fa75350b2 100644 > --- a/Documentation/git.txt > +++ b/Documentation/git.txt > @@ -11,9 +11,9 @@ SYNOPSIS > [verse] > 'git' [-v | --version] [-h | --help] [-C ] [-c =] > [--exec-path[=]] [--html-path] [--man-path] [--info-path] > - [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--bare] > - [--git-dir=] [--work-tree=] [--namespace=] > - [--config-env==] [] > + [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--no-lazy-fetch] > + [--no-optional-locks] [--bare] [--git-dir=] [--work-tree=] > + [--namespace=] [--config-env==] [] Looks sensible. There still are a few options (like noglob-pathspecs) missing, but cleaning them up from this part of the documentation is totally outside the scope of this topic (#leftoverbits -- we either make this exhaustive, or make it clear that this is not exhaustive). Thanks.