From: Johannes Schindelin Date: Mon, 14 Jan 2008 20:22:15 GMT Subject: Re: [PATCH] http-push: making HTTP push more robust and more user-friendly Message-ID: In-Reply-To: <7v1w8kkxo7.fsf@gitster.siamese.dyndns.org> Hi, On Mon, 14 Jan 2008, Junio C Hamano wrote: > Johannes Schindelin writes: > > > On Sun, 13 Jan 2008, Junio C Hamano wrote: > > > >> The second one to add a couple of "goto cleanup" looked correct. > >> Acks, people? > > > > I haven't used http-push in ages, but there was a bug report with > > msysgit. Hopefully that issue gets fixed by this patch. > > Could you work with the reporter to see if this fixes the issue for him? I wanted to try to reproduce first, but I had definitely not enough time for git today. Will try to find some time tomorrow, Dscho