diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-12-14 21:39:10 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-12-19 16:58:57 +0000 |
commit | 761257ea4fc5cad5eac4a06e09d5ebabaab2296f (patch) | |
tree | 322b16efa7c3befdc6d68ad3def5d1384733fe0e /dgit | |
parent | 0b4f75ce504c8edc11283c0f813ef719b0ace6e6 (diff) |
dgit: Give better advice if .dsc/.changes signing fails
If no changes are needed to the package, user may indeed just debsign
and dput. Closes:#844131.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -3995,8 +3995,12 @@ END runcmd_ordryrun @git, qw(update-ref -m), 'dgit push', lrref(), $dgithead; supplementary_message(<<'END'); -Push failed, after updating the remote git repository. -If you want to try again, you must use a new version number. +Push failed, while obtaining signatures on the .changes and .dsc. +If it was just that the signature failed, you may try again by using +debsign by hand to sign the changes + $changesfile +and then dput to complete the upload. +If you need to change the package, you must use a new version number. END if ($we_are_responder) { my $dryrunsuffix = act_local() ? "" : ".tmp"; |