summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-05-22 15:45:13 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-07-01 22:37:38 +0100
commitcb99709100a32fdb6a1544f4bf9aac8c5f2b4804 (patch)
treeab0b65834b37f58044da2b3d374c1a7face0d842 /dgit
parentc225785cc31e19f449fcfa903442b3ad2987a4d5 (diff)
Properly substitute $changesfile in one of the `You can retry' messages. Closes:#800078.
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit2
1 files changed, 1 insertions, 1 deletions
diff --git a/dgit b/dgit
index 9bdd207..0b66d39 100755
--- a/dgit
+++ b/dgit
@@ -2083,7 +2083,7 @@ END
sign_changes $changesfile;
}
- supplementary_message(<<'END');
+ supplementary_message(<<END);
Push failed, while uploading package(s) to the archive server.
You can retry the upload of exactly these same files with dput of:
$changesfile