diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-12 00:02:27 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-12 00:31:20 +0000 |
commit | 39988196301013320ba7c93cbd9146c27bd51453 (patch) | |
tree | e1d536ab1deb4eb0b874324ddf8f7d4e2635b2e7 /debian | |
parent | 8463d12b7a99e449198b06341a96fb3504074040 (diff) |
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>
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 3 |
1 files changed, 3 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. |