Infra: dgit-repos-policy-debian: Fix db retry loop

[dgit.git] / dgit.1

diff --git a/dgit.1 b/dgit.1
index 35a09223fdeff8d7a025b15336c64c4f814ef256..ed4c6b18419372d7d3185cb10091eacb1a5f8585 100644 (file)
--- a/dgit.1
+++ b/dgit.1
@@ -278,6 +278,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,