On Thu, May 07, 2020 at 04:07:54PM -0700, Junio C Hamano wrote: > Jeff King <peff@xxxxxxxx> writes: > > > The simplest fix is probably to clean up "$file" into another tempfile, > > and then read from that. > > Or just tell the users do not break the log file (or they can keep > both halves)? I am OK with that, too. :) -Peff
