summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-09 03:27:23 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-09 13:08:32 +0000
commit5fe77d980b7412ef6d0287590bc60003dbd3d18a (patch)
tree39fcc27a4fd0faf59efa194b2060c162af293552
parent30f5b851da69cc63df7cfc1d6bda3eb7f41b21af (diff)
dgit(1): Remove comment about retries
Error messages now tell the user the situation. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rw-r--r--dgit.13
1 files changed, 0 insertions, 3 deletions
diff --git a/dgit.1 b/dgit.1
index c4fbd63..0da57f5 100644
--- a/dgit.1
+++ b/dgit.1
@@ -180,9 +180,6 @@ archive.
dgit push always uses the package, suite and version specified in the
debian/changelog and the .dsc, which must agree. If the command line
specifies a suite then that must match too.
-
-If dgit push fails while uploading, it is fine to simply retry the
-dput on the .changes file at your leisure.
.TP
\fBdgit rpush\fR \fIbuild-host\fR\fB:\fR\fIbuild-dir\fR [\fIpush args...\fR]
Pushes the contents of the specified directory on a remote machine.