From: Robin Jarry Date: Wed, 29 Dec 2021 14:21:57 GMT Subject: Re: [RFC PATCH] receive-pack: interrupt pre-receive when client disconnects Message-ID: In-Reply-To: <20211110103525.171066-1-robin.jarry@6wind.com> Hi, do you have any remarks on this patch? Is it going in the right direction? Should I send a non-RFC? Happy holidays all. Thanks!