diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-09 12:11:38 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-10-10 01:01:10 +0100 |
commit | 55139a910de527575606d9efa0defdbf28c96c65 (patch) | |
tree | 11ef9fdc97ed17a57f6e180ae499443ebba05306 /debian | |
parent | 86c633c36acd0e386f5190cadf7ae0a2abd4ef5a (diff) |
Arrange for the special dgit remote to be skipped by git fetch --all etc.
Closes:#827892.
Not quite the patch from Sean: we want to do this on every fetch, and
we don't overwrite the user's configuration if for some reason they
have set this (hopefully they haven't...)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 54583cf..7bc0a11 100644 --- a/debian/changelog +++ b/debian/changelog @@ -77,6 +77,8 @@ dgit (1.5~~) unstable; urgency=medium * Tidy up refs/dgit-fetch/ after dgit fetch (if successful). * Fix handling of in-archive copies. * Don't break if user has push.followTags=true. Closes:#827878. + * Arrange for the special dgit remote to be skipped by git fetch --all + etc. Closes:#827892. Test suite: * When sbuild fails, do not crash due to sed not finding the log |