diff options
author | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-11 20:58:56 +0800 |
---|---|---|
committer | Frederick Yin <fred.yin@sjtu.edu.cn> | 2021-10-11 20:58:56 +0800 |
commit | 8709d8d15043cb1e84e8e2d98a9de9604f7a21bc (patch) | |
tree | caf34352d4c7ffe2c59d14cea18730cd937cf2e4 | |
parent | d3445e61038a3a7ccd2430af386fe4e6ea7879c7 (diff) |
Fix repo URL in GitWorker
-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: |