From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 14 Feb 2006 23:23:45 GMT
Subject: Re: several quick questions
Message-ID: <Pine.LNX.4.63.0602150022470.24570@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <43F26129.4040804@op5.se>

Hi,

On Wed, 15 Feb 2006, Andreas Ericsson wrote:

> What's the point of having another protected name. Just allow
> 
> 	$ git checkout -b discard HEAD~15
> 
> and we're good to go.

Last time I checked (2 hours ago) it did exactly what you want it to.

Hth,
Dscho