From 37b5c1d305b5b7362e83ea4cbfdab4b9544031d3 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 5 Jan 2019 23:27:01 +0000
Subject: dgit-repos-policy-debian: Remove duplicated text from force message

$ovwhy is from SELECT deliberately ... WHERE ... OR deliberately = ?
where ? is a key in %deliberately which came from the command line
where it already contains --deliberately=.

Closes: #913676
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 infra/dgit-repos-policy-debian | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index e85e92c..f7e5e53 100755
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -461,7 +461,7 @@ END
             $mustreject = 1;
 	} else {
 	    $stderr .= <<END;
-Forcing due to --deliberately-$ovwhy
+Forcing due to $ovwhy
 END
             $untaintq ||= $poldbh->prepare(<<END);
                 DELETE FROM taints WHERE taint_id = ?
-- 
cgit v1.2.3