From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 26 Jul 2018 10:16:54 +0000 (+0100)
Subject: dgit: push_source no longer cleans the tree.
X-Git-Tag: archive/debian/6.0~11
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=52eeb586a25be5734ab9e53059f41f5a6e08690c;hp=dbee6afd429a8cf4136a040d95ea10fe3a38520e;p=dgit.git

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>
---

diff --git a/debian/changelog b/debian/changelog
index d4ce818d..8873a89e 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.
 
  --
 
diff --git a/dgit b/dgit
index 36afdaf0..9384f64e 100755
--- a/dgit
+++ b/dgit
@@ -4762,7 +4762,6 @@ sub cmd_push_source {
     prep_push();
     fail "dgit push-source: --include-dirty/--ignore-dirty does not make".
       "sense with push-source!" if $includedirty;
-    clean_tree();
     build_maybe_quilt_fixup();
     if ($changesfile) {
         my $changes = parsecontrol("$buildproductsdir/$changesfile",