From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 02 Feb 2024 16:47:11 GMT
Subject: Re: [PATCH 3/3] rev-list: add --allow-missing-tips to be used with --missing=...
Message-ID: <xmqq5xz6vmnk.fsf@gitster.g>
In-Reply-To: <CAP8UFD0HwQr+qj=FrDQXJeY8PhVH1e7oErbVopgtv2X8ig7a7Q@mail.gmail.com>

Christian Couder <christian.couder@gmail.com> writes:

> I am also not happy with adding yet another dump loop like this. I did
> it because I couldn't think of a simple solution to avoid that.

FWIW, that word is "dumB" loop, if you are including the word in
your updated version.

But I am still wondering if this can be unconditionally turned on
any time --missing=... is used.  Have you considered it?  If we can
do that, it would eliminate the need for that extra broken loop that
will fail with "git rev-list --grep --allow-missing-tips -20 HEAD".