Re: Host refs to push are chosen (documentation error)?

On Wed, Feb 17, 2010 at 8:16 PM, Jeff King [off-list ref] 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