From 559eacc729c94b9297874ff2c85f44e72648c0a1 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Jun 2015 17:47:31 +0100
Subject: [PATCH] Infra: dgit-repos-server-debian: Run check_package on push

---
 infra/dgit-repos-policy-debian | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index 75b4737a..e665a636 100755
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -221,6 +221,7 @@ sub check_package () {
 
     if (good_suite_has_vsn_in_our_history) {
 	chmod $publicmode, "." or die $!;
+	$pkg_secret = 0;
 	return 0;
     }
 
@@ -260,6 +261,8 @@ sub action_push () {
     getpackage();
     getpushinfo();
 
+    check_package(); # might make package public, or might add taints
+
     return 0 unless $pkg_exists;
     return 0 unless $pkg_secret;
 
-- 
2.30.2