Re: git push bug?
- From
Steffen Prohaska <prohaska@zib.de>
- Date
- Oct 18, 2007, 16:13 UTC
- 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:
Show 5 quoted lines
> 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