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

[Christian Couder <christian.couder@gmail.com>]

(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.

>  source: <20240214142513.4002639-1-christian.couder@gmail.com>