summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-17 00:10:11 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 11:54:12 +0100
commit881383cd6717e22293b0c2a912afba2c6b421a94 (patch)
tree901bff8796682f23014e7673edb4d9ef21cb7d21
parentec99fb2d75264668e6f7e6628bb3c87c1b69f332 (diff)
Infra: in dgit-repos-policy-debian actually call getpushinfo
-rwxr-xr-xinfra/dgit-repos-policy-debian7
1 files changed, 5 insertions, 2 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index dd2a9c8..8a10536 100755
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -251,6 +251,8 @@ sub deliberately ($) { return $deliberately{$_[0]}; }
sub action_push () {
getpackage();
+ getpushinfo();
+
return 0 unless $pkg_exists;
return 0 unless $pkg_secret;
@@ -275,8 +277,9 @@ sub action_push () {
sub action_push_confirm () {
getpackage();
- die unless @ARGV >= 5;
- my $freshrepo = $ARGV[4];
+ getpushinfo();
+ die unless @ARGV >= 1;
+ my $freshrepo = shift @ARGV;
my $initq = $poldbh->prepare(<<END);
SELECT taint_id, gitobjid FROM taints t