Matthieu Moy <Matthieu.Moy@xxxxxxx> writes: > Grepping the source, "not on a branch" seems more widely used than > "detached head" in the UI (including in another place of git-pull.sh), > so, yes, something like this would be better: Yeah, "not on a branch" sounds like the best wording. -- 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