Re: [PATCH v2 0/7] remote-curl: fix deadlocks when remote server disconnects

Jeff King [off-list ref] 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-<.