[PATCH 0/9] work-tree clean ups

Hi,

this is the 3rd revision of the work-tree clean up series. Unlike the 1st revision, this passes all the tests. Unlike the 2nd revision, it has a concise and precise logic:

--work-tree=bla overrides GIT_WORK_TREE, which overrides core.bare = true, which overrides core.worktree, which overrides GIT_DIR/.. when GIT_DIR ends in /.git, which overrides the directory in which .git/ was found.

The distinction between git_dir and work_tree is much clearer now: you can have a work_tree which is inside a git_dir, and programs needing a work_tree will no longer complain.

The work tree information is no longer just thrown away. Instead, you can run git from the git_dir and it will work on the work tree without you having to cd back and forth.

The wrong distinction between a non-bare repository and a repository with a work_tree is no longer there. A repository is either bare, or it has a working directory. There is no third option.

Ciao, Dscho