Re: [PATCH v3 0/5] rev-list: allow missing tips with --missing

Subject: Re: [PATCH v3 0/5] rev-list: allow missing tips with --missing
From: Linus Arver <linusa@xxxxxxxxxx>
Date: Fri, 16 Feb 2024 13:56:11 -0800
Cc: Junio C Hamano <gitster@xxxxxxxxx>, Patrick Steinhardt <ps@xxxxxx>, John Cai <johncai86@xxxxxxxxx>, Eric Sunshine <sunshine@xxxxxxxxxxxxxx>, Christian Couder <christian.couder@xxxxxxxxx>
In-reply-to: <20240214142513.4002639-1-christian.couder@gmail.com>
References: <20240208135055.2705260-1-christian.couder@gmail.com> <20240214142513.4002639-1-christian.couder@gmail.com>

This v3 LGTM.

Reviewed-by: Linus Arver <linusa@xxxxxxxxxx>

Thanks!

References:
- [PATCH v2 0/4] rev-list: allow missing tips with --missing
  - From: Christian Couder
- [PATCH v3 0/5] rev-list: allow missing tips with --missing
  - From: Christian Couder