diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-25 19:34:56 +0800 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 04:22:53 +0100 |
commit | 12a39369798685e87a0e67d528bc997eb71d7972 (patch) | |
tree | be8eddba9af0fa51441cd4b7baed911819028b9e | |
parent | 67fc3a6fb0abda68f201893e16392f6d15ec16e3 (diff) |
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>
-rwxr-xr-x | dgit | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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"); |