From d783259d5565f1e2670244bfad2ff536a072dd4d Mon Sep 17 00:00:00 2001
From: Javi Garate <fjgarate@cimne.upc.edu>
Date: Mon, 3 Jun 2024 12:49:22 +0200
Subject: [PATCH] release script

---
 tools/create-release.bat | 3 +++
 1 file changed, 3 insertions(+)

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