diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-13 17:47:31 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-13 17:55:28 +0100 |
commit | 559eacc729c94b9297874ff2c85f44e72648c0a1 (patch) | |
tree | db9b949d6c3565fbb6f662b4cba0627e996b04bd | |
parent | a63f866c55f5a3378920f24d609cabd14e65961f (diff) |
Infra: dgit-repos-server-debian: Run check_package on push
-rwxr-xr-x | infra/dgit-repos-policy-debian | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index 75b4737..e665a63 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; |