git-gui: Get rid of the last remnants of GIT_CONFIG_LOCAL

In dc87183(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>
git-mirror · Dec 17, 2008 · d4d1351 · d4d1351
1 parent b8dc2f5
commit d4d1351
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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