Re: [PATCH] http-push: making HTTP push more robust and more user-friendly
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jan 22, 2008, 01:38 UTC
- 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:
Show 6 quoted lines
> 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