Re: [PATCH 3/3] rev-list: add --allow-missing-tips to be used with --missing=...
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 2, 2024, 16:47 UTC
- 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".