From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 18 Oct 2007 16:21:17 GMT
Subject: Re: git push bug?
Message-ID: <Pine.LNX.4.64.0710181720010.25221@racer.site>
In-Reply-To: <1192723269.9433.21.camel@gentoo-jocke.transmode.se>

Hi,

On Thu, 18 Oct 2007, Joakim Tjernlund wrote:

> Seems like it is a bit too easy to make mistakes here. Why can I delete 
> a branch with :linus but not create one with linus:linus?

I wonder why you bother with the colon at all.  Just

	git push <remote> linus

and be done with it.  The colon is only there to play interesting games, 
not something as simple as "push this branch" or "push this tag".

Ciao,
Dscho