diff --git a/tools/create-release.bat b/tools/create-release.bat index 620ca1178..fa5dc9639 100644 --- 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