summaryrefslogtreecommitdiff
path: root/dgit.1
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2013-10-22 14:53:11 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2013-10-22 14:53:11 +0100
commit59235957912b6f55e150d533749aad62b1647e8e (patch)
tree683ce460907b8eadc3e5efc4219336094e9b9348 /dgit.1
parent7b20daf717d8f5559908a794aab0425974934f47 (diff)
parentf5cc5221e5f7298d88c384af112b33a3287a2a1a (diff)
Merge branch 'master' into wip.remote
Conflicts: debian/changelog dgit
Diffstat (limited to 'dgit.1')
-rw-r--r--dgit.15
1 files changed, 5 insertions, 0 deletions
diff --git a/dgit.1 b/dgit.1
index 3086caf..a4b4b1a 100644
--- a/dgit.1
+++ b/dgit.1
@@ -186,6 +186,11 @@ actually update the output(s). For push, dgit does
the required checks and leaves the new .dsc in a temporary file,
but does not sign, tag, push or upload.
.TP
+.BR --damp-run | -L
+Go through many more of the motions: do everything that doesn't
+involve either signing things, or making changes on the public
+servers.
+.TP
.BI -k keyid
Use
.I keyid