Mods

utils/tag.py

@@ -0,0 +1,23 @@
+#!/usr/bin/env python
+
+# This is used to create a tag in the git repo
+# You probably don't want to run this
+
+# pacman: python-gitpython
+import os
+import git
+import json
+from pathlib import Path
+
+here = Path(__file__).resolve()
+parent = here.parent.parent
+os.chdir(parent)
+
+with open("cromulant/manifest.json") as f:
+    manifest = json.loads(f.read())
+
+version = manifest["version"]
+repo = git.Repo(".")
+repo.create_tag(version)
+repo.remotes.origin.push(version)
+print(f"Created tag: {version}")