summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-17 14:15:34 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 11:54:14 +0100
commiteb3b3a8f4be0903cd73193e563c7b56ad48bf54e (patch)
treeef618b5621aab4220caf5bdcc49d09e28b1e0d97 /infra
parentb8f0c2299145e606204825a5d5081461251195c6 (diff)
Check for deliberatelies correctly (in-memory data structures have full name)
Diffstat (limited to 'infra')
-rwxr-xr-xinfra/dgit-repos-policy-debian2
1 files changed, 1 insertions, 1 deletions
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();