diff options
Diffstat (limited to 'infra/dgit-repos-policy-debian')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index e00fb5a..2e0bcc7 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -23,7 +23,7 @@ our $dgitlive = shift @ARGV // die "need DGIT-LIVE-DIR"; our $action = shift @ARGV // die "need ACTION"; our $publicmode = 02775; -our $new_upload_propagation_slop = 3600*4 + 100; +our $new_upload_propagation_slop = 3600*4 + 100;# fixme config; our $poldbh; our $pkg; @@ -259,8 +259,8 @@ sub action_push () { sub action_push_confirm () { getpackage(); - die unless @ARGV; - my $freshrepo = shift @ARGV; + die unless @ARGV >= 5; + my $freshrepo = $ARGV[4]; my $initq = $poldbh->prepare(<<END); SELECT taint_id, gitobjid FROM taints t |