From 0b49b6ebcc0a4d5796633afcd3dc82175f1b112c Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 16 Dec 2019 00:31:00 +0100
Subject: [PATCH] try to fix CI by using different remote for extendj

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

diff --git a/.gitmodules b/.gitmodules
index bc2d5e6..2ff8cc2 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "extendj"]
 	path = extendj
-	url = git@git-st.inf.tu-dresden.de:jastadd/extendj.git
+	url = https://bitbucket.org/extendj/extendj.git
-- 
GitLab