diff options
-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 |