diff options
-rwxr-xr-x | dgit | 3 | ||||
-rwxr-xr-x | infra/dgit-repos-policy-debian | 2 |
2 files changed, 3 insertions, 2 deletions
@@ -183,7 +183,8 @@ sub changedir ($) { } sub deliberately ($) { - return !!grep { $_[0] eq $_ } @deliberatelies; + my ($enquiry) = @_; + return !!grep { $_ eq "--deliberately-$enquiry" } @deliberatelies; } #---------- remote protocol support, common ---------- diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index 06ad002..387fa54 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -250,7 +250,7 @@ sub getpushinfo () { } } -sub deliberately ($) { return $deliberately{$_[0]}; } +sub deliberately ($) { return $deliberately{"--deliberately-$_[0]"}; } sub action_push () { getpackage(); |