From d8358fa4861e20ea0b9e44d3dba341e3f78499b7 Mon Sep 17 00:00:00 2001
From: Fabian Berg <fabian.berg@hb9hil.org>
Date: Sat, 14 Dec 2024 10:08:23 +0100
Subject: [PATCH] force git fetch

---
 update_wavelog.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_wavelog.sh b/update_wavelog.sh
index 8b13e3dc4..09491f416 100644
--- a/update_wavelog.sh
+++ b/update_wavelog.sh
@@ -66,7 +66,7 @@ check_working_dir
 
 # Fetch the latest changes from the master branch
 echo "Fetching changes from remote..."
-if git fetch $GIT_REMOTE --tags ; then
+if git fetch $GIT_REMOTE --tags --force ; then
 	echo "Fetched latest changes successfully"
 else
 	echo "Fetch failed; stopping here."