From 8709d8d15043cb1e84e8e2d98a9de9604f7a21bc Mon Sep 17 00:00:00 2001 From: Frederick Yin Date: Mon, 11 Oct 2021 20:58:56 +0800 Subject: Fix repo URL in GitWorker --- worker/GitWorker.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'worker/GitWorker.py') 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: -- cgit v1.2.3