chiark / gitweb /
Tag change: Rename debiantag to debiantag_old
[dgit.git] / infra / dgit-repos-server
index cfa0f314fffc312b08aa9b47395215d1d7cc0671..ea223a0c33bddcd18fe5089ac74013a878dd0b89 100755 (executable)
@@ -342,7 +342,7 @@ sub movetogarbage () {
 
     ensuredir "$dgitrepos/_removed-tags";
     open PREVIOUS, ">>", removedtagsfile or die removedtagsfile." $!";
-    git_for_each_ref('refs/tags/'.debiantag('*',$distro), sub {
+    git_for_each_ref('refs/tags/'.debiantag_old('*',$distro), sub {
        my ($objid,$objtype,$fullrefname,$reftail) = @_;
        print PREVIOUS "\n$objid $reftail .\n" or die $!;
     }, $real);
@@ -821,7 +821,7 @@ sub checks () {
     tagh1('object') eq $commit or reject "tag refers to wrong commit";
     tagh1('tag') eq $tagname or reject "tag name in tag is wrong";
 
-    my $expecttagname = debiantag $version, $distro;
+    my $expecttagname = debiantag_old $version, $distro;
     printdebug "expected tag $expecttagname\n";
     $tagname eq $expecttagname or die;