On Wed, May 4, 2016 at 1:44 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > I think this sentence talks about "working tree" (as opposed to > "worktree"), so s/work tree/working tree/. I'll fix this up in a resend, though it may be a fix on its own. So the two "official" terms are working tree (files on your disk) and worktree (the command) and we don't want to have anything in between? (e.g. work tree for working tree?) Or as `grep -r "work tree"` puts it, we may want to have an extra cleanup patch and not do it here for this single occurrence. -- 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