From ad74723ae1367ce4567ecbbe60fd3b1dbcf67931 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Mon, 20 Feb 2023 14:34:21 +0100
Subject: [PATCH] attempt to fix CI

---
 install | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/install b/install
index 54031bc5c..515f11c01 100755
--- a/install
+++ b/install
@@ -1,5 +1,8 @@
 #! /bin/bash
 
+
+rm -fr "./.git/modules/*/rebase-merge"
+
 source script/help
 source script/discover_os
 source script/show_solutions
-- 
GitLab