This commit is contained in:
parent
7a3ac2cead
commit
d5bac90a61
|
@ -28,7 +28,7 @@ main() {
|
|||
local git_server="ssh://git@focs.ji.sjtu.edu.cn:2222"
|
||||
|
||||
if ! [ -d "$config_repo_path" ]; then
|
||||
git clone "$git_server/$course/$course-config.git" "$config_repo_path"
|
||||
git clone "$git_server/$course/$course-joj.git" "$config_repo_path"
|
||||
git -C "$config_repo_path" config user.name "$git_user"
|
||||
git -C "$config_repo_path" config user.email "$git_email"
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue
Block a user