Jens Lehmann <jens.lehm...@web.de> 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 majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
