From 0cd6caaf306fe558d478e48649c5781cf41b1561 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Mon, 20 Feb 2023 14:49:31 +0100
Subject: [PATCH] Revert "Reverting changes that broke CI and attempting to
 fix"

This reverts commit 2a121ffd0b607a317a4b40542cc282f3bc6932fb.
---
 build.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build.sh b/build.sh
index e1aea02..ddc9c0c 100755
--- a/build.sh
+++ b/build.sh
@@ -4,9 +4,6 @@ workspace=$1
 hostname=$(hostname)
 branch=$3
 
-echo "Trying to fix the CI"
-rm -rf $1/.git/modules/gdbgui/rebase-merge
-
 echo "Directory: $workspace"
 echo "Machine: $hostname"
 echo "Branch name: $branch"
-- 
GitLab