Use annotated tags in version script

davc0n · davc0n · commit 3c716ab2addc · 2025-05-23T08:55:38.000+02:00
`git push --follow-tags` only pushes annotated tags
diff --git a/version b/version
@@ -71,7 +71,7 @@ def update_version(part: str) -> str:
 def git_tag(version: str):
     cmd_exec(["git", "add", "."])
     cmd_exec(["git", "commit", "-m", f"v{version}"])
-    cmd_exec(["git", "tag", f"v{version}"])
+    cmd_exec(["git", "tag", "-a", f"v{version}", "-m", f"v{version}"])
 
 
 def main():
