From e4c17a7d520515cbdd4c798dd6af8531185cd70d Mon Sep 17 00:00:00 2001
From: qiancheng <q.xu@fz-juelich.de>
Date: Tue, 9 Jul 2019 17:30:47 +0200
Subject: [PATCH] change dockerfile with github url
---
Dockerfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Dockerfile b/Dockerfile
index 8807dac9..8a77aa78 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -60,7 +60,7 @@ RUN mkdir -p /home/jupedsim/workspace \
RUN cd /home/jupedsim/workspace \
- && git clone --depth=5 https://gitlab.version.fz-juelich.de/jupedsim/jpscore.git \
+ && git clone --depth=5 https://github.com/jupedsim/jpscore.git \
&& cd jpscore \
&& mkdir -p build \
&& cd build \
--
GitLab