diff options
Diffstat (limited to 'worker/GitWorker.py')
| -rw-r--r-- | worker/GitWorker.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/worker/GitWorker.py b/worker/GitWorker.py index 0416ace..d887204 100644 --- a/worker/GitWorker.py +++ b/worker/GitWorker.py @@ -149,7 +149,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/{GITEA_ORG}/{repoName}.git", repoDir, branch="master") else: |