Re: Host refs to push are chosen (documentation error)?
- From
Avery Pennarun <apenwarr@gmail.com>
- Date
- Feb 18, 2010, 01:51 UTC
- 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:
Show 5 quoted lines
> ++ > +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