From 922dd066bfbad13354dd154a12f6ed04a8fe57b0 Mon Sep 17 00:00:00 2001
From: Pasquale Congiusti <pasquale.congiusti@gmail.com>
Date: Wed, 30 Aug 2023 12:37:48 +0200
Subject: [PATCH] Release 2.0.1

---
 script/git_tag.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/git_tag.sh b/script/git_tag.sh
index 28eddcdc8d..49bfa74b72 100755
--- a/script/git_tag.sh
+++ b/script/git_tag.sh
@@ -31,7 +31,7 @@ target_remote=$2
 git branch -D ${target_staging} || true
 git checkout -b ${target_staging}
 git add * || true
-git commit -a -m "Release ${target_version}"
+git commit -a -m "Release ${target_version}" || true
 
 git tag --force ${target_tag} ${target_staging}
 git push --force ${target_remote} ${target_tag}