release script

jginternational · jginternational · commit d783259d5565 · 2024-06-03T12:49:22.000+02:00
diff --git a/tools/create-release.bat b/tools/create-release.bat
@@ -7,6 +7,9 @@ set VERSION=9.4.5
 @REM git checkout %BRANCH%
 
 
+git tag -f Release-%version%
+git push --tags --force
+
 @REM run python prepare-release-files.py
 python prepare-release-files.py
 
