Re: Re* [PATCH 2/2] grep --no-index: don't use git standard exclusions

Bert Wesarg [off-list ref] writes:

I would still vote to name the option --exclude-standard, like it is
done in 'git ls-files'.

Thanks for catching.