diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 11:16:54 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 13:00:47 +0100 |
commit | 52eeb586a25be5734ab9e53059f41f5a6e08690c (patch) | |
tree | 906687a2e167221e8dcdd39c6048f531c37722d9 /debian/changelog | |
parent | dbee6afd429a8cf4136a040d95ea10fe3a38520e (diff) |
dgit: push_source no longer cleans the tree.
This is no longer needed because we always build in a playtree.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index d4ce818..8873a89 100644 --- a/debian/changelog +++ b/debian/changelog @@ -16,6 +16,7 @@ dgit (6.0~) unstable; urgency=medium usually generate *_multi.changes rather than *_$arch.changes. * test suite: Honour DGIT_SCHROOT_CHROOT to set the schroot to use for the sbuild tests. + * dgit push-source no longer cleans the tree. -- |