From 12a39369798685e87a0e67d528bc997eb71d7972 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Wed, 25 Jul 2018 19:34:56 +0800 Subject: [PATCH] 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 --- dgit | 2 ++ 1 file changed, 2 insertions(+) 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"); -- 2.30.2