From: Avery Pennarun <apenwarr@gmail.com>
Date: Thu, 18 Feb 2010 01:51:27 GMT
Subject: Re: Host refs to push are chosen (documentation error)?
Message-ID: <32541b131002171751n454081a9w90f2957d7a40d87@mail.gmail.com>
In-Reply-To: <20100218011620.GA15870@coredump.intra.peff.net>

On Wed, Feb 17, 2010 at 8:16 PM, Jeff King <peff@peff.net> wrote:
> Agreed. It's a minor point, but one that can mislead users who don't
> know about packed refs. Maybe something like this?

Wow, you really go all out.  Looks pretty good to me, except maybe this:

> ++
> +For any of the `$GIT_DIR/refs` cases above, packed refs from
> +`$GIT_DIR/packed-refs` may be substituted (e.g., a line with
> +`refs/heads/master` in the packed-refs file would have the same
> +precedence as the file `$GIT_DIR/refs/heads/master`).

Are they really equal precedence?  How does git decide, when there's
one of each?  I'd guess packed-refs might actually be strictly higher
precedence, but I'm not sure.

Avery