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 /debian | |
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 'debian')
0 files changed, 0 insertions, 0 deletions