Push release commit and tag

[skip ci]
2024-11-19 16:22:55 +01:00 · 2024-11-19 16:22:55 +01:00 · ed3f58436b
commit ed3f58436b
parent 68f7b429f7
1 changed files with 1 additions and 0 deletions
--- 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__":