On Wed, Feb 17, 2010 at 8:16 PM, Jeff King <peff@xxxxxxxx> 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html