Re: What's cooking in git.git (Mar 2024, #02; Thu, 7)

> (Sorry for sending this first privately to Junio by mistake.)
>
> On Fri, Mar 8, 2024 at 3:27 AM Junio C Hamano <gitster@pobox.com> wrote:
>
>> * cc/rev-list-allow-missing-tips (2024-02-28) 5 commits
>>   (merged to 'next' on 2024-03-01 at fd7b109d04)
>>  + revision: fix --missing=[print|allow*] for annotated tags
>>   (merged to 'next' on 2024-03-01 at ac0fc94378)
>>  + rev-list: allow missing tips with --missing=[print|allow*]
>>  + t6022: fix 'test' style and 'even though' typo
>>  + oidset: refactor oidset_insert_from_set()
>>  + revision: clarify a 'return NULL' in get_reference()
>>
>>  Originally merged to 'next' on 2024-02-28
>>
>>  "git rev-list --missing=print" has learned to optionally take
>>  "--allow-missing-tips", which allows the objects at the starting
>>  points to be missing.
>
> The description might want to be updated as no new
> "--allow-missing-tips" option is introduced anymore. Maybe something
> like this instead:
>
> "git rev-list --missing=[print|allow*]" has learned to not die when
> some tips passed to it as command line arguments are missing. Instead
> those tips are just reported among the missing objects and ignored for
> traversal.