Subject: Re: bug#71179: [PATCH] In rgrep, check matching files before excluding files

From: Dmitry Gutov <[email-masked]>
Date: Sat, 25 May 2024 17:47:49 +0300

On 25/05/2024 17:13, Eli Zaretskii wrote:
>> What other possibilities?
> Who knows?  Why risk any changes at all?
> 
> Anyway, I suggested an approach that should leave everyone happy.  Why
> are we still arguing?

New option has the usual problems:

* What to call it.
* General proliferation of new options makes it harder to find each one.
* Several days of arguing whether we can make the new behavior the 
default one.