From 673989e62a91bf9fbd637f766af022b6da77f830 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 31 May 2015 15:31:53 +0100
Subject: [PATCH 1/1] Infra: Make replay prevention file contain tags (by
 searching for right ref names)

---
 infra/dgit-repos-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 4cc96c49..7ab29e27 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -321,7 +321,7 @@ sub movetogarbage () {
 
     ensuredir "$dgitrepos/_removed-tags";
     open PREVIOUS, ">>", removedtagsfile or die removedtagsfile." $!";
-    git_for_each_ref(debiantag('*'), sub {
+    git_for_each_ref('refs/tags/'.debiantag('*'), sub {
 	my ($objid,$objtype,$fullrefname,$reftail) = @_;
 	print PREVIOUS "\n$objid $reftail .\n" or die $!;
     }, $real);
-- 
2.30.2