path: root/debian
diff options
authorIan Jackson <>2017-07-08 20:46:12 +0100
committerIan Jackson <>2017-07-08 20:46:13 +0100
commit5e493b95a805efe689f3c34f50731db568978c4a (patch)
treeeae6f359f0484130bdf265a375d63a4c426ab74e /debian
parent814fa4dc0dbf43f7b2ec57803a155d03ba136a9b (diff)
dgit-badcommit-fixup: Honour core.sharedRepository.
Closes:#867603. In principle it might be nicer to copy more options. But we don't want to duplicate the logic in prep_ud in dgit, and we don't want to make this script too standalone. I'm not aware of other options that are important, rather than nice-to-have tuneables. Signed-off-by: Ian Jackson <>
Diffstat (limited to 'debian')
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index cd44b40..729985c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,6 +13,8 @@ dgit (3.11~) unstable; urgency=medium
* dgit: honour more pre-tree git config options in our private
trees sharing the user's object store. In particular,
core.sharedRepository. Prompted by #867603.
+ * dgit-badcommit-fixup: Honour core.sharedRepository.
+ Closes:#867603.
* infrastructure: Cope with new git-receive-pack which has
quarantine feature: ie, work around #867702.
* test suite: Cope with git restricting ext:: protocols.