Re: [PATCH] fix "git push $there +HEAD"

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