Christian Couder <christian.couder@xxxxxxxxx> writes: > (Sorry for sending this first privately to Junio by mistake.) > > On Fri, Mar 8, 2024 at 3:27 AM Junio C Hamano <gitster@xxxxxxxxx> 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. Thanks for a comment; better late than never. We'd probably need to update the release notes, as this is gone from the list of cooking topics already.
