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. -- robi -- 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