From: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Date: Sun, 14 Dec 2008 22:12:49 +0000 (+0100)
Subject: git-gui: Get rid of the last remnants of GIT_CONFIG_LOCAL
X-Git-Tag: gitgui-0.12.0~1
X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=commitdiff_plain;h=d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8;p=git.git

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 <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
---

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