summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrederick Yin <fred.yin@sjtu.edu.cn>2021-10-11 20:58:56 +0800
committerFrederick Yin <fred.yin@sjtu.edu.cn>2021-10-11 20:58:56 +0800
commit8709d8d15043cb1e84e8e2d98a9de9604f7a21bc (patch)
treecaf34352d4c7ffe2c59d14cea18730cd937cf2e4
parentd3445e61038a3a7ccd2430af386fe4e6ea7879c7 (diff)
Fix repo URL in GitWorker
-rw-r--r--worker/GitWorker.py2
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: