Jens Lehmann <Jens.Lehmann@xxxxxx> writes: > We could get rid of the core.worktree setting by assuming that the > directory a gitfile was found in is the root of the repo's work > tree (unless configured otherwise). Now you lost me. If you have .git that is not a directory but is a gitfile, then you do not need GIT_DIR nor GIT_WORK_TREE in the first place, no? -- 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