From 87792909df3e08ad5c2a95c424660fe12c045e3e Mon Sep 17 00:00:00 2001 From: Joao Carvalho Date: Mon, 30 Oct 2023 16:17:33 +0100 Subject: [PATCH] Update submodule git --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 8fd05db..ec66eee 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "deps/experiment_launcher"] path = deps/experiment_launcher - url = git@git.ias.informatik.tu-darmstadt.de:common/experiment_launcher.git + url = https://git.ias.informatik.tu-darmstadt.de/common/experiment_launcher.git [submodule "deps/motion_planning_baselines"] path = deps/motion_planning_baselines url = git@github.com:anindex/motion_planning_baselines.git