On Thu, Aug 31, 2023 at 03:04:54PM -0700, Junio C Hamano wrote: > Sure. FWIW, I like giving a meaningful name to a thing that is used > more than once, so my preference is the original minus excess cast. > > Thanks for a review. Here is a tentative rewrite Thanks, looks good to me. -Peff
