From 522edb8d6670fcabbae0f3804263a578f2ed23c2 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Mon, 20 Feb 2023 15:03:10 +0100
Subject: [PATCH] attempting to fix CI

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index f5ef38f9f..d4c7e757b 100755
--- a/build.sh
+++ b/build.sh
@@ -10,7 +10,8 @@ branch=$5
 with_gpu=$6
 
 echo "Trying to Fix the CI"
-rm -rf .git/modules/gdbgui/rebase-merge
+rm -rf .git/modules/*/rebase-merge
+git rebase --abort
 
 
 if [ x"$branch" == x"" ]; then
-- 
GitLab