path: root/dgit.1
diff options
authorIan Jackson <>2018-07-26 04:22:42 +0100
committerIan Jackson <>2018-07-26 04:22:43 +0100
commit9b1710555b3d13149437428cd2d8b4b3d5209132 (patch)
treebe9c1c7276652dbba671bf9e57b9b43534cd2851 /dgit.1
parent67e3687e3223a97f2d2952ba2aba32d0c177966b (diff)
dgit: Rename --ignore-dirty to --include-dirty
Leaving the old name supported as a deprecated alias. Signed-off-by: Ian Jackson <>
Diffstat (limited to 'dgit.1')
1 files changed, 7 insertions, 2 deletions
diff --git a/dgit.1 b/dgit.1
index ddb0c0a..f0d637d 100644
--- a/dgit.1
+++ b/dgit.1
@@ -529,12 +529,17 @@ refuse to push. It may (for Debian, will) be unable to access the git
history for any packages which have been newly pushed and have not yet
been published.
-.BR --ignore-dirty
-Do not complain if the working tree does not match your git HEAD.
+.BR --include-dirty
+Do not complain if the working tree does not match your git HEAD,
+and when building,
+include the changes from your working tree.
This can be useful with build, if you plan to commit later. (dgit
push will still ensure that the .dsc you upload and the git tree
you push are identical, so this option won't make broken pushes.)
+.BR --ignore-dirty
+Deprecated alias for --include-dirty.
.BR --overwrite [=\fIprevious-version\fR]
Declare that your HEAD really does contain
all the (wanted) changes