diff options
| author | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-10 13:23:08 +0800 |
|---|---|---|
| committer | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-10 13:23:08 +0800 |
| commit | 799f16f0e53382f4ecd36d8a5c7bff5afaccdd9f (patch) | |
| tree | 22e5870f996fb16dded64efb87fdf764c7b79089 /worker | |
| parent | 7d217ff5b104919772157e80ff62915e13831f9d (diff) | |
GitWorker: fix git upstream URL
Diffstat (limited to 'worker')
| -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: |