diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-08 20:21:30 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-08 20:21:32 +0100 |
commit | 814fa4dc0dbf43f7b2ec57803a155d03ba136a9b (patch) | |
tree | 38f0a53143f3a71a0538d625e938ddff7e944b11 /dgit-badcommit-fixup | |
parent | 286194bf8211db68991be7831e76829c7147829a (diff) |
dgit: honour more pre-tree git config options in our private trees
These share the user's object store and we should manipulate the
object store the way the user wants. In particular,
core.sharedRepository is important.
Prompted by #867603, which is the same bug in dgit-badcommit-fixup.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-badcommit-fixup')
0 files changed, 0 insertions, 0 deletions