diff --git a/checker/run-checker b/checker/run-checker index 81c7248..81f33b1 100755 --- a/checker/run-checker +++ b/checker/run-checker @@ -130,9 +130,8 @@ done # solve tags - remove nonexistent refs find $DET_TAGS -type f | sort | while read tagname do - echo "Tagfile: $tagname" - tag=$(basename $tagname) - if ! gitListTags $repodir | grep -q "^$tag$" + tag=$(basename $tagname) + if ! git --git-dir="$repodir" rev-parse "tags/$tag" then echo "Removing tag: $tag (was [$(cat $tagname)])" rm $tagname @@ -142,7 +141,6 @@ done # tags that changed or were pushed as new gitListTags $repodir | while read tagname do - echo "Tagname: $tagname" [ -f $DET_TAGS/$tagname ] || touch $DET_TAGS/$tagname oldsha=$(cat $DET_TAGS/$tagname) newsha=$(git --git-dir $repodir show-ref --tags $tagname | cut -d' ' -f1)