From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sat, 14 Feb 2009 21:25:31 GMT
Subject: Re: filter-branch: Remove original/* (was Re: [RFC] What's the best UI for 'git submodule split'?)
Message-ID: <alpine.DEB.1.00.0902142219010.10279@pacific.mpi-cbg.de>
In-Reply-To: <431341160902131845g58d99635ie0735b433802d6be@mail.gmail.com>

Hi,

On Fri, 13 Feb 2009, Eric Kidd wrote:

> On Thu, Feb 12, 2009 at 4:59 PM, Johannes Schindelin
> <Johannes.Schindelin@gmx.de> wrote:
> >
> > On Thu, 12 Feb 2009, Eric Kidd wrote:
> >
> > >   rm .git/refs/original # or just use --force below
> >
> > BTW I wanted to get rid of this for a long time now, but I cannot seem 
> > to find the time to work on it.  The 'original' refs should not be 
> > needed, as that's a job for the reflogs (yeah, people tried to 
> > convince me back then, but I finally got it, okay?)
> 
> Removing the original/* directory would certainly make my life easier. 
> But the reflog only stores backups for branch heads, not tags, right? If 
> there's a good way to handle this, I'd be happy to send a patch.

Hmm.  Indeed, we ignore reflogs in log_ref_write() when the ref starts 
with refs/tags/ (implicitly, not explicitely).

Maybe it is time to change that.

Ciao,
Dscho