From 6b5c6dbe96731d215a79458d9de2dd30ff9e4cb1 Mon Sep 17 00:00:00 2001
From: Romain Boman <romain.boman@gmail.com>
Date: Fri, 20 Mar 2020 12:57:32 +0100
Subject: [PATCH] change linuxbin repo
---
comp.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/comp.py b/comp.py
index fe9fe8b..04aacff 100755
--- a/comp.py
+++ b/comp.py
@@ -65,7 +65,7 @@ class CompJob(ParametricJob):
self.repos = []
self.repos.append(GitRepo('oo_meta', 'git@gitlab.uliege.be:am-dept/MN2L/oo_meta.git'))
self.repos.append(GitRepo('oo_nda', 'git@gitlab.uliege.be:am-dept/MN2L/oo_nda.git'))
- self.repos.append(GitRepo('linuxbin', 'git@github.com:ulgltas/linuxbin.git'))
+ self.repos.append(GitRepo('linuxbin', 'git@gitlab.uliege.be:am-dept/linuxbin.git'))
self.repos.append(GitRepo('parasolid', 'git@gitlab.uliege.be:am-dept/MN2L/parasolid.git'))
def setDefaultPars(self):
--
GitLab