summaryrefslogtreecommitdiff
path: root/dgit.1
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-26 16:44:47 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-26 16:44:47 +0100
commit7cf634614b9a4ee18a70030e3b340dccd470f908 (patch)
tree1462eba172d39f8f81fbe8e1b3aba1fc63af85ff /dgit.1
parentd833b697cbd9e0b743b79242209c78651845f559 (diff)
New --ignore-dirty option to skip noncritical check. Closes: #720895.
Diffstat (limited to 'dgit.1')
-rw-r--r--dgit.110
1 files changed, 10 insertions, 0 deletions
diff --git a/dgit.1 b/dgit.1
index 9740856..af18b0f 100644
--- a/dgit.1
+++ b/dgit.1
@@ -342,6 +342,16 @@ This is the default. It requires the package's build dependencies.
The package may be new in this suite. Without this, dgit will
refuse to push.
.TP
+.BR --ignore-dirty
+Do not complain if the working tree does not match your git HEAD.
+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.)
+
+This option may not work properly on `3.0 (quilt)' packages, as in
+that case dgit needs to use and perhaps commit parts of your working
+tree.
+.TP
.BI -D
Prints debugging information to stderr. Repeating the option produces
more output (currently, up to -DD is meaningfully different).