chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 814fa4d) | patch
dgit-badcommit-fixup: Honour core.sharedRepository.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Jul 2017 19:46:12 +0000 (20:46 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Jul 2017 19:46:13 +0000 (20:46 +0100)
commit5e493b95a805efe689f3c34f50731db568978c4a
treeeae6f359f0484130bdf265a375d63a4c426ab74etree | snapshot
parent814fa4dc0dbf43f7b2ec57803a155d03ba136a9bcommit | 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 <ijackson@chiark.greenend.org.uk>
debian/changelog diff | blob | history
dgit-badcommit-fixup diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.