diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 04:22:42 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 04:22:43 +0100 |
commit | 9b1710555b3d13149437428cd2d8b4b3d5209132 (patch) | |
tree | be9c1c7276652dbba671bf9e57b9b43534cd2851 /dgit.1 | |
parent | 67e3687e3223a97f2d2952ba2aba32d0c177966b (diff) |
dgit: Rename --ignore-dirty to --include-dirty
Leaving the old name supported as a deprecated alias.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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. .TP -.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.) .TP +.BR --ignore-dirty +Deprecated alias for --include-dirty. +.TP .BR --overwrite [=\fIprevious-version\fR] Declare that your HEAD really does contain all the (wanted) changes |