diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-17 00:10:11 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:54:12 +0100 |
commit | 881383cd6717e22293b0c2a912afba2c6b421a94 (patch) | |
tree | 901bff8796682f23014e7673edb4d9ef21cb7d21 | |
parent | ec99fb2d75264668e6f7e6628bb3c87c1b69f332 (diff) |
Infra: in dgit-repos-policy-debian actually call getpushinfo
-rwxr-xr-x | infra/dgit-repos-policy-debian | 7 |
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 |