From: Sean Whitton <spwhitton@spwhitton.name>
Date: Sat, 30 Dec 2017 11:07:42 +0000 (+0000)
Subject: dgit(1): Entry for build-source recommends using push-source
X-Git-Tag: archive/debian/4.2~7
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=944ca75284815724ddc6ae38a1d22036b663565d

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>
---

diff --git a/dgit.1 b/dgit.1
index 4f147988..6d46b20a 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