summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdgit3
-rwxr-xr-xinfra/dgit-repos-policy-debian2
2 files changed, 3 insertions, 2 deletions
diff --git a/dgit b/dgit
index e80faf3..5d239d6 100755
--- a/dgit
+++ b/dgit
@@ -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();