diff options
-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; |