Re: [PATCH] Fix initialization of a bare repository

> Wait a minute.
> 
> Let's step back a bit and think what we want to happen here.
> 
>  * No GIT_DIR, no --bare.  Having GIT_WORK_TREE is an error.
> 
>    $ mkdir foo && cd foo && git init
> 
>    We want to say "not bare" and create foo/.git/config and friends. 
> 
>  * No GIT_DIR, with --bare.  Having GIT_WORK_TREE is an error.
> 
>    $ mkdir foo && cd foo && git --bare init
> 
>    We want to say "is bare" and create foo/config, foo/HEAD and
>    friends.
> 
>  * With GIT_DIR but no GIT_WORK_TREE, with or without --bare.
> 
>    $ mkdir foo.git && GIT_DIR=foo.git git init
>    $ mkdir foo.git && GIT_DIR=foo.git git --bare init
> 
>    We want to say "is bare" and create foo.git/config and friends.
> 
>  * With GIT_DIR and GIT_WORK_TREE.  Having --bare is an error.
> 
>    $ mkdir foo.git foo.work
>    $ GIT_DIR=foo.git GIT_WORK_TREE=foo.work git init
> 
>    We want to say "not bare", create foo.git/config and friends,
>    and record core.worktree = /full/path/to/foo.work
> 
> Is the above list reasonable?