diff --git a/bin/joj3-forge-convert b/bin/joj3-forge-convert index fe19bf0..dafaea5 100755 --- a/bin/joj3-forge-convert +++ b/bin/joj3-forge-convert @@ -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