On Fri, 2015-07-10 at 15:34 +0100, Philip Oakley wrote: > From: "David Turner" <dturner@xxxxxxxxxxxxxxxx> > > The current state of the discussion on alternate ref backends is that > > we're going to continue to store pseudorefs (e.g. CHERRY_PICK_HEAD) as > > Assuming this is accepted, should the definition of pseudorefs be > included in the gitglossary? > > Once ref backends become common, the distinction will needed in the > docs. This term is only in this message (that is, I don't think I used it in any commit messages yet). The code uses it in at least one place already. But yes, I think if we decided to go with the pseudoref concept, we should document it. -- 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