diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2017-12-30 11:07:42 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-01-07 19:31:59 +0000 |
commit | 944ca75284815724ddc6ae38a1d22036b663565d (patch) | |
tree | 9c9914125cfa610948f5a79639cb78b454f3405b /dgit.1 | |
parent | b5bcafcd708628c57619139032c093ccf3694597 (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>
Diffstat (limited to 'dgit.1')
-rw-r--r-- | dgit.1 | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |