use hrp2-14 to clone on github

dashboard/settings.py

@@ -160,3 +160,4 @@ RAINBOARD_GITS = RAINBOARD_DATA / 'repositories'
 RAINBOARD_RPKG = RAINBOARD_DATA / 'robotpkg'
 PRIVATE_REGISTRY = 'gepgitlab.laas.fr:4567'
 PUBLIC_REGISTRY = 'eur0c.laas.fr:5000'
+GITHUB_USER = 'hrp2-14'

rainboard/models.py

@@ -450,6 +450,8 @@ class Repo(TimeStampedModel):
     def get_clone_url(self):
         if self.forge.source == SOURCES.gitlab:
             return self.clone_url.replace('://', f'://gitlab-ci-token:{self.forge.token}@')
+        if self.forge.source == SOURCES.github:
+            return self.clone_url.replace('://', f'://{settings.GITHUB_USER}:{self.forge.token}@')
         return self.clone_url
 
     def git_remote(self):