diff options
-rw-r--r-- | debian/changelog | 3 | ||||
-rwxr-xr-x | infra/dgit-repos-policy-debian | 15 |
2 files changed, 18 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 05ab9d0..a7a4b99 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,9 @@ dgit (3.2~) unstable; urgency=medium * dgit: Do not execute END blocks in children. So far symptoms of this bug seem to be limited to duplicated error messages but I have not done a thorough analysis. Closes:#850052. + * dgit-infrastructure: 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. Test suite: * infra: mirroring and policy hooks: Improve some debugging output. 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; } |