chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5bcafc) | patch
dgit(1): Entry for build-source recommends using push-source
authorSean Whitton <spwhitton@spwhitton.name>
Sat, 30 Dec 2017 11:07:42 +0000 (11:07 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jan 2018 19:31:59 +0000 (19:31 +0000)
commit944ca75284815724ddc6ae38a1d22036b663565d
tree9c9914125cfa610948f5a79639cb78b454f3405btree | snapshot
parentb5bcafcd708628c57619139032c093ccf3694597commit | 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>
dgit.1 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.