Re: git push bug?
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Oct 18, 2007, 16:21 UTC
- 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