From 143fe30227b0d2d864e97c17c9ed20a51d13d176 Mon Sep 17 00:00:00 2001
From: Joachim Baumann <joachimbaumann1@gmail.com>
Date: Tue, 1 Nov 2022 11:57:42 +0100
Subject: [PATCH] release script update

---
 release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release.sh b/release.sh
index 2699115..0fd0ff2 100755
--- a/release.sh
+++ b/release.sh
@@ -14,6 +14,7 @@ then
     echo creating release...
 
     git checkout releases
+    git pull
     echo "which branch do you want to release?"
     read branch_to_release
     git merge $branch_to_release --no-ff --no-commit