From c86fc08cd142840cbae466a18c1661d1bb943769 Mon Sep 17 00:00:00 2001
From: Tae Won Ha <h@taewon.de>
Date: Thu, 14 Dec 2023 16:52:27 +0100
Subject: [PATCH] Fix jenkins script

---
 bin/build_jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/build_jenkins.sh b/bin/build_jenkins.sh
index 6f53cd39..85f362e3 100755
--- a/bin/build_jenkins.sh
+++ b/bin/build_jenkins.sh
@@ -26,6 +26,7 @@ main() {
   fi
   echo "### Using ${tag_name} as tag name"
   git checkout "${branch}"
+  git pull
   git commit -am "Bump version to ${tag_name}"
   git tag -a "${tag_name}" -m "${tag_name}"
   git push