diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 15:31:53 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 15:31:53 +0100 |
commit | 673989e62a91bf9fbd637f766af022b6da77f830 (patch) | |
tree | 96e4009dd8d0f7cbeabfb24f509f3c724d2fbb65 /infra/dgit-repos-server | |
parent | fdab645ff4e8fcdde3aa2fb0127b58dfc18a4f9a (diff) |
Infra: Make replay prevention file contain tags (by searching for right ref names)
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 4cc96c4..7ab29e2 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); |