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.
files in $GIT_DIR. So this re-roll of the refs backend preamble
doesn't do anything to pseudorefs. It just does reflog stuff.
--
Philip
--
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