From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 15 Apr 2013 17:39:59 GMT
Subject: Re: [PATCH 21/33] repack_without_ref(): write peeled refs in the rewritten file
Message-ID: <7va9ozvgk0.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1365944088-10588-22-git-send-email-mhagger@alum.mit.edu>

Michael Haggerty <mhagger@alum.mit.edu> writes:

> When a reference that existed in the packed-refs file is deleted, the
> packed-refs file must be rewritten.  Previously, the file was
> rewritten without any peeled refs, even if the file contained peeled
> refs when it was read.  This was not a bug, because the packed-refs
> file header didn't claim that the file contained peeled values.  But
> it had a performance cost, because the repository would lose the
> benefit of having precomputed peeled references until pack-refs was
> run again.

Good.

> Teach repack_without_ref() to write peeled refs to the packed-refs
> file (regardless of whether they were present in the old version of
> the file).