Re: [JGIT PATCH 09/21] Remember how a Ref was read in from disk and created
- From
Robin Rosenberg <robin.rosenberg@dewire.com>
- Date
- Jun 29, 2008, 13:51 UTC
- Message-ID
- <200806291551.06201.robin.rosenberg@dewire.com>
- In-Reply-To
- <1214726371-93520-10-git-send-email-spearce@spearce.org>
söndagen den 29 juni 2008 09.59.19 skrev Shawn O. Pearce:
Show 5 quoted lines
> 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