From: Robin Rosenberg <robin.rosenberg@dewire.com>
Date: Sun, 29 Jun 2008 13:51:05 GMT
Subject: Re: [JGIT PATCH 09/21] Remember how a Ref was read in from disk and created
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:
> 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