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
