From: Sean Whitton <spwhitton@spwhitton.name>
Date: Wed, 25 Jul 2018 11:34:56 +0000 (+0800)
Subject: dgit: push-source dies if user tried to include uncommitted changes
X-Git-Tag: archive/debian/6.0~28
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=12a39369798685e87a0e67d528bc997eb71d7972;p=dgit.git

dgit: push-source dies if user tried to include uncommitted changes

This does not make sense because you cannot dgit push uncommitted
changes.

Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
---

diff --git a/dgit b/dgit
index 0a770cd0..470c0fd9 100755
--- a/dgit
+++ b/dgit
@@ -4758,6 +4758,8 @@ sub cmd_push {
 
 sub cmd_push_source {
     prep_push();
+    fail "dgit push-source: --include-dirty/--ignore-dirty does not make".
+      "sense with push-source!" if $includedirty;
     if ($changesfile) {
         my $changes = parsecontrol("$buildproductsdir/$changesfile",
                                    "source changes file");