summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2017-12-30 11:07:42 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-01-07 19:31:59 +0000
commit944ca75284815724ddc6ae38a1d22036b663565d (patch)
tree9c9914125cfa610948f5a79639cb78b454f3405b
parentb5bcafcd708628c57619139032c093ccf3694597 (diff)
dgit(1): Entry for build-source recommends using push-source
If the user invokes build-source because they are going to upload, they should use push-source rather than push to benefit from the additional safety check that the upload is actually source-only. Signed-off-by: Sean Whitton <spwhitton@spwhitton.name> Acked-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rw-r--r--dgit.13
1 files changed, 2 insertions, 1 deletions
diff --git a/dgit.1 b/dgit.1
index 4f14798..6d46b20 100644
--- a/dgit.1
+++ b/dgit.1
@@ -127,7 +127,8 @@ The output is left in
and
.IR package \fB_\fR version \fB_source.changes\fR.
-Tagging, signing and actually uploading should be left to dgit push.
+Tagging, signing and actually uploading should be left to dgit
+push-source, or dgit push.
.TP
.B dgit clean
Cleans the current working tree (according to the --clean= option in