Re: git push to a non-bare repository

From: Shawn O. Pearce <spearce@spearce.org>
Date: Mar 19, 2007, 03:53 UTC
Message-ID: <20070319035351.GI20658@spearce.org>
In-Reply-To: <20070319032130.GF11371@thunk.org>

Theodore Tso <tytso@mit.edu> wrote:

Show 6 quoted lines

> So I dug a little more deeply, and the problem is that the reflog for
> master was getting updated, but not the reflog for HEAD, and that's
> what "git reflog" was showing --- hence my confusion.
> 
> What are the rules for when HEAD's reflog should get updated, and is
> this documented anywhere in the man pages?

It is buried down in write_ref_sha1 (in refs.c). The rule is if the name of the ref given to us for update does not match the actual ref we are about to change, we log to both the original ref name given and the actual ref name.

This handles the case of HEAD being a symref to some actual branch; we update the HEAD reflog and the actual branch reflog whenever someone updates HEAD. Which is what we are usually doing from tools like git-checkout.

receive-pack isn't updating the HEAD reflog as its updating the actual branch, not HEAD. If you pushed instead to HEAD you should see the HEAD reflog entry too.

Its a little ugly here as I'm not sure we should always update HEAD's reflog if HEAD points at a branch we are actually updating. Maybe we should though in receive-pack ?

-- 
Shawn.