From ed3f58436b4ee8d5fff022761c220b1168ac1e94 Mon Sep 17 00:00:00 2001
From: Ivan Usov <ivan.usov@psi.ch>
Date: Tue, 19 Nov 2024 16:22:55 +0100
Subject: [PATCH] Push release commit and tag
[skip ci]
---
make_release.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/make_release.py b/make_release.py
index 020f16e..c8ff0ba 100755
--- a/make_release.py
+++ b/make_release.py
@@ -42,6 +42,7 @@ def main():
os.system(f"git commit {version_filepath} -m 'Updating for version {new_version}'")
os.system(f"git tag -a {new_version} -m 'Release {new_version}'")
+ os.system("git push --follow-tags")
if __name__ == "__main__":
--
GitLab