diff options
| -rw-r--r-- | worker/GitWorker.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/worker/GitWorker.py b/worker/GitWorker.py index ded01ee..4ecd968 100644 --- a/worker/GitWorker.py +++ b/worker/GitWorker.py @@ -14,6 +14,7 @@ class GitWorker(): language, mandatoryFiles, optionalFiles, + giteaOrg, logger=Logger(), processCount=4): self.args = args @@ -24,6 +25,7 @@ class GitWorker(): self.processCount = processCount self.mandatoryFiles = mandatoryFiles self.optionalFiles = optionalFiles + self.giteaOrg = giteaOrg self.moss = None @classmethod @@ -40,7 +42,7 @@ class GitWorker(): hwDir = os.path.join(repoDir, f"h{hwNum}") if not os.path.exists(repoDir): repo = git.Repo.clone_from( - f"https://focs.ji.sjtu.edu.cn/git/vg101/{repoName}", + f"ssh://git@focs.ji.sjtu.edu.cn:2222/{self.giteaOrg}/{repoName}.git", repoDir, branch="master") else: |