From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 29 Jun 2008 14:17:53 GMT
Subject: Re: [JGIT PATCH 09/21] Remember how a Ref was read in from disk and created
Message-ID: <alpine.DEB.1.00.0806291516540.9925@racer>
In-Reply-To: <200806291551.06201.robin.rosenberg@dewire.com>

Hi,

On Sun, 29 Jun 2008, Robin Rosenberg wrote:

> söndagen den 29 juni 2008 09.59.19 skrev Shawn O. Pearce:
> > To efficiently deleted or update a ref we need to know where it came 
> > from when it was read into the process.  If the ref is being updated 
> > we can usually just write the loose file, but if it is being deleted 
> > we may need to remove not just a loose file but also delete it from 
> > the packed-refs.
> 
> One could argue that we should not normally just delete a ref, but mark 
> it as deleted and let git gc delete it when it expires, just like any 
> old ref, but then we should try to get C Git to do the same. There was a 
> thread relating to this recently.

... but it petered out, so you should consider any ideas in that thread 
rejected.

Ciao,
Dscho