rj/receive-pack-abort-upon-disconnect (was: What's cooking in git.git (Feb 2022, #01; Thu, 3))

From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Feb 4, 2022, 12:23 UTC
Message-ID: <220204.86r18i3jmh.gmgdl@evledraar.gmail.com>
In-Reply-To: <xmqqr18jnr2t.fsf@gitster.g>

On Thu, Feb 03 2022, Junio C Hamano wrote:

Show 10 quoted lines

> * rj/receive-pack-abort-upon-disconnect (2022-01-28) 1 commit
>  - receive-pack: check if client is alive before completing the push
>
>  "git push" may be killed by the user when the server side has
>  finished receiving all data and is about to commit the result.
>  Give the latter a better chance to notice such situation and abort
>  processing the ref updates.
>
>  Will merge to 'next'?
>  source: <20220128194811.3396281-1-robin.jarry@6wind.com>

I had some comments on the goals & possible bug/incompleteness just now: https://lore.kernel.org/git/220204.864k5e4yvf.gmgdl@evledraar.gmail.com/