From 1171def5bb4f2659d19718ad39c81c1aa6b162cd Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 28 Jun 2017 16:59:00 +0100
Subject: [PATCH] dgit: Provide no_local_git_config

Part of the fix to #865863.  No callers yet, so no functional change.

This function not only arranges not to call git config --local.
Removing 'local' from @gitcfgsources also prevents various config
lookup machinery from trying to find information in $cfg{local}
now of course does not exist.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 dgit | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/dgit b/dgit
index a009e417..51a2ccb2 100755
--- a/dgit
+++ b/dgit
@@ -704,6 +704,11 @@ sub cfg {
 	"$us: distro or suite appears not to be (properly) supported";
 }
 
+sub no_local_git_cfg () {
+    # needs to be called from pre_*
+    @gitcfgsources = grep { $_ ne 'local' } @gitcfgsources;
+}
+
 sub access_basedistro__noalias () {
     if (defined $idistro) {
 	return $idistro;
-- 
2.30.2