chiark / gitweb /
dgit-repos-policy-debian: WIP bugfixes etc.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 May 2015 10:30:26 +0000 (11:30 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 10:54:10 +0000 (11:54 +0100)
infra/dgit-repos-policy-debian

index e00fb5a..2e0bcc7 100755 (executable)
@@ -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