From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 22 Jan 2008 01:38:49 GMT
Subject: Re: [PATCH] http-push: making HTTP push more robust and more user-friendly
Message-ID: <alpine.LSU.1.00.0801220137310.5731@racer.site>
In-Reply-To: <7vy7aive18.fsf@gitster.siamese.dyndns.org>

Hi,

On Mon, 21 Jan 2008, Junio C Hamano wrote:

> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
> 
> > So I am half-convinced that http-push w/o CURL_MULTI was broken since 
> > long ago (pre 1.5.3).
> 
> Sigh, but Ok.  Then let's do this.

This sigh hurts my heart.  So I will try to find out what is broken.  
Tomorrow.  If the fix(es) is/are small enough, I hope that they will go 
into 1.5.4.  If it/they is/are not, I will let you know why.

Ciao,
Dscho