From: Marco Costalba <mcostalba@gmail.com>
Date: Sun, 11 Feb 2007 17:21:08 GMT
Subject: Re: Possible BUG in 'git config'
Message-ID: <e5bfff550702110921l710d62cr6c82baed1b678ab2@mail.gmail.com>
In-Reply-To: <Pine.LNX.4.63.0702111720260.22628@wbgn013.biozentrum.uni-wuerzburg.de>

On 2/11/07, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

>
> So I am certain that you made a mistake when you need to ignore the
> settings in $HOME/.gitconfig.
>

Please do the following:

$ cd <git tree repo>
$ git repo-config --global --unset user.name
$ git repo-config --unset user.name
$ git gui

Then go to Edit->options, you will see empty both 'git repository' and
'Global (All repositories)'

Then exit 'git gui' and type:

$ git repo-config --global user.name dummy
$ git gui

Then go to Edit->options and.... surprise! dummy has been added to
both panes instead of only in 'Global' one.

The bug is not in 'git gui' but in 'git repo-config' that when queried
for user.name if doesn't find it in local config, silently falls back
in global config. This is not documented and probably a bug because
documentation of --global option says:

--global::
       Use global ~/.gitconfig file *rather than* the repository .git/config.


Thanks
Marco