From 39988196301013320ba7c93cbd9146c27bd51453 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 12 Jan 2017 00:02:27 +0000
Subject: dgit-repos-policy-debian: Remirror a package when it becomes public

Ie, make the repo available much more promptly when the package passes
NEW.

Closes:#849789.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 infra/dgit-repos-policy-debian | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'infra')

diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index cff5d06..990abd2 100755
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -262,6 +262,21 @@ sub check_package () {
     if (good_suite_has_suitable_vsn(\&vsn_in_our_history)) {
 	chmod $publicmode, "." or die $!;
 	$pkg_secret = 0;
+	eval {
+	    my $mirror_hook = "$distrodir/mirror-hook";
+	    if (stat_exists $mirror_hook) {
+		my @mirror_cmd =
+		    ($mirror_hook, $distrodir, "updated-hook", $pkg);
+		debugcmd " (mirror)",@mirror_cmd;
+		system @mirror_cmd and failedcmd @mirror_cmd;
+	    }
+	};
+	if (length $@) {
+	    chomp $@;
+	    print STDERR "policy hook: warning:".
+		" failed to mirror publication of \`$pkg':".
+		" $@\n";
+	}
 	return 0;
     }
 
-- 
cgit v1.2.3