chiark / gitweb /
dgit: Copy several user.* settings from main tree git local config
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Feb 2017 13:15:52 +0000 (13:15 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Feb 2017 13:15:53 +0000 (13:15 +0000)
Copy to dgit private workarea.  Closes:#853085.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog
dgit

index 4bfbca2..0c80ccf 100644 (file)
@@ -1,6 +1,8 @@
 dgit (3.10~) unstable; urgency=medium
 
-  * 
+  Bugfixes:
+  * dgit: Copy several user.* settings from main tree git local config
+    to dgit private workarea.  Closes:#853085.
 
  --
 
diff --git a/dgit b/dgit
index 9cdf96b..7ffbb89 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -1699,6 +1699,11 @@ sub prep_ud (;$) {
 sub mktree_in_ud_here () {
     runcmd qw(git init -q);
     runcmd qw(git config gc.auto 0);
+    foreach my $copy (qw(user.email user.name user.useConfigOnly)) {
+       my $v = $gitcfgs{local}{$copy};
+       next unless $v;
+       runcmd qw(git config), $copy, $_ foreach @$v;
+    }
     rmtree('.git/objects');
     symlink '../../../../objects','.git/objects' or die $!;
     setup_gitattrs(1);