From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 20 Feb 2008 13:02:19 GMT
Subject: Re: [PATCH] fix "git push $there +HEAD"
Message-ID: <alpine.LSU.1.00.0802201301230.17164@racer.site>
In-Reply-To: <7vprurc3n8.fsf@gitster.siamese.dyndns.org>

Hi,

On Wed, 20 Feb 2008, Junio C Hamano wrote:

> An earlier commit 47d996a (push: support pushing HEAD to real branch 
> name) added support for "git push $there HEAD" by introducing a rewrite 
> rule for the refspecs obtained from the command line.  However, unlike 
> the usual refspecs, it did not allow prefixing with '+' to mean forcing 
> the branch.

Heh.  I realised that yesterday, and put it in my TODO list.  Thanks for 
doing it for me! ;-)

The patch looks obviously correct to me.

Ciao,
Dscho