From: Steffen Prohaska <prohaska@zib.de>
Date: Thu, 18 Oct 2007 16:13:11 GMT
Subject: Re: git push bug?
Message-ID: <CDE0C821-4CD9-46D4-8FC7-FC51B0D9C3D6@zib.de>
In-Reply-To: <1192723269.9433.21.camel@gentoo-jocke.transmode.se>


On Oct 18, 2007, at 6:01 PM, 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?
> Also confusing that git lets me create refs/head/linus when git branch
> cannot find it.

I absolutely agree. But I'm not sure if those who use git since the
ancient days do agree too.
	
	Steffen