put back the "v" in the tag names, as the current tags are borked and we can't reuse...

diff --git a/misc/tools/tag-release.sh b/misc/tools/tag-release.sh
index 9f72c7275f4200e4b67ba7426dc51a85376328af..c390eb2e54d128387e6d4176b4b5c33f3d3ad35d 100755 (executable)
--- a/misc/tools/tag-release.sh
+++ b/misc/tools/tag-release.sh
@@ -23,7 +23,7 @@ for r in \
        /home/rpolzer/Games/Xonotic/fteqcc
 do
        cd "$r"
-       git tag -u D276946B -m"version $VER" xonotic-"$VER"
+       git tag -u D276946B -m"version $VER" xonotic-v"$VER"
 done
 
 # excluded repos because not included with releases: