diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-26 16:44:47 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-26 16:44:47 +0100 |
commit | 7cf634614b9a4ee18a70030e3b340dccd470f908 (patch) | |
tree | 1462eba172d39f8f81fbe8e1b3aba1fc63af85ff /dgit.1 | |
parent | d833b697cbd9e0b743b79242209c78651845f559 (diff) |
New --ignore-dirty option to skip noncritical check. Closes: #720895.
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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). |