Re: [PATCH resend] git-pull: fix fetch-options.txt to not document --quiet and --verbose twice in git-pull.txt

Emmanuel Trillaud [off-list ref] writes:

I choose to "suppress" the fetch-options part because IMHO we don't need
that level of precision.

I tried to see both versions myself and came to the same conclusion.
Thanks.