On Sat May 4, 2024 at 3:30 AM AEST, Junio C Hamano wrote: > James Liu <james@xxxxxxxxxxx> 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 <path>] [-c <name>=<value>] > > [--exec-path[=<path>]] [--html-path] [--man-path] [--info-path] > > - [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--bare] > > - [--git-dir=<path>] [--work-tree=<path>] [--namespace=<name>] > > - [--config-env=<name>=<envvar>] <command> [<args>] > > + [-p|--paginate|-P|--no-pager] [--no-replace-objects] [--no-lazy-fetch] > > + [--no-optional-locks] [--bare] [--git-dir=<path>] [--work-tree=<path>] > > + [--namespace=<name>] [--config-env=<name>=<envvar>] <command> [<args>] > > 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. I did notice noglob-pathspecs, but I wasn't sure if it came under the same purview as the `--no-*` options (where a dash exists after "no"). Cheers, James