Infra: ssh-wrap: Use master dgit-live for dispatch

[dgit.git] / dgit.1

diff --git a/dgit.1 b/dgit.1
index 35a09223fdeff8d7a025b15336c64c4f814ef256..72b16a05ba79dbfd528073ddc84a50bdeb54657f 100644 (file)
--- a/dgit.1
+++ b/dgit.1
@@ -202,6 +202,10 @@ ask it to generate a single squashed patch instead.
 .TP
 .B dgit version
 Prints version information and exits.
+.TP
+.BI "dgit clone-dgit-repos-server" " destdir"
+Tries to fetch a copy of the source code for the dgit-repos-server,
+as actually being used on the dgit git server, as a git tree.
 .SH OPTIONS
 .TP
 .BR --dry-run | -n
@@ -278,6 +282,11 @@ option after verifying that: none of the rejected-from-NEW (or
 never-accepted) versions in the git history of your current push, were
 rejected by ftpmaster for copyright or redistributability reasons.
 .TP
+.BR --deliberately-fresh-repo
+Declare that you are deliberately rewinding history and want to
+throw away the existing repo.  Not relevant when pushing to Debian,
+as the Debian server will do this automatically when necessary.
+.TP
 .BR --quilt=linear
 When fixing up source format `3.0 (quilt)' metadata, insist on
 generating a linear patch stack.  If such a stack cannot be generated,