Hi, On Fri, 13 Feb 2009, Eric Kidd wrote: > On Thu, Feb 12, 2009 at 4:59 PM, Johannes Schindelin > <Johannes.Schindelin@xxxxxx> 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
