From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 18 May 2020 19:36:19 GMT
Subject: Re: [PATCH v2 0/7] remote-curl: fix deadlocks when remote server disconnects
Message-ID: <xmqqh7wd2fyk.fsf@gitster.c.googlers.com>
In-Reply-To: <20200518165056.GD42240@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Overall this looks pretty cleanly done. I left a few minor comments
> throughout, but the real question is whether we prefer the "0002" packet
> in the last one, or if we instead insist that the response end in a
> flush.

Thanks for a review.  I was reading the series through and I found
it a reasonably pleasant read.

> So I think either of your solutions (enforcing a final flush, or the
> 0002 packet) is preferable. I'm on the fence between them.

I am undecided, too X-<.