diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-06-27 13:55:23 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-06-29 23:16:32 -0700 |
| commit | 5b8063b5b0f56f0da345e8dd7c66d3aced1af673 (patch) | |
| tree | 598224878a8e02f23f6b31ba643be419a1e235e9 /grep.c | |
| parent | clone: respect url.insteadOf setting in global configs (diff) | |
| download | tgif-5b8063b5b0f56f0da345e8dd7c66d3aced1af673.tar.xz | |
clone: respect the settings in $HOME/.gitconfig and /etc/gitconfig
After initializing the config in the newly-created repository, we
need to unset GIT_CONFIG so that the global configs are read again.
Noticed by Pieter de Bie.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'grep.c')
0 files changed, 0 insertions, 0 deletions