From d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Sun, 14 Dec 2008 23:12:49 +0100 Subject: [PATCH] git-gui: Get rid of the last remnants of GIT_CONFIG_LOCAL In dc871831(Only use GIT_CONFIG in "git config", not other programs), GIT_CONFIG_LOCAL was rested in peace, in favor of not reading /etc/gitconfig and $HOME/.gitconfig at all when GIT_CONFIG is set. Signed-off-by: Johannes Schindelin Signed-off-by: Shawn O. Pearce --- git-gui.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/git-gui.sh b/git-gui.sh index 65dacf9b1..e018e076f 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -3329,7 +3329,6 @@ by %s: {^GIT_PAGER$} - {^GIT_TRACE$} - {^GIT_CONFIG$} - - {^GIT_CONFIG_LOCAL$} - {^GIT_(AUTHOR|COMMITTER)_DATE$} { append msg " - $name\n" incr ignored_env -- 2.30.2