JOJ/runner-images
21
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: remove backward compatibility codes
All checks were successful
push / build (push) Successful in 2m0s
Details

Browse Source
This commit is contained in:
张泊明518370910136 2025-09-11 01:24:10 -07:00
parent 50319d6778
commit 7a3ac2cead
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
bin/joj3-forge-convert
View File

@ -29,13 +29,14 @@ main() {
if ! [ -d "$config_repo_path" ]; then
git clone "$git_server/$course/$course-config.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
# TODO: move this into if statement
git -C "$config_repo_path" config user.name "$git_user"
git -C "$config_repo_path" config user.email "$git_email"
if ! [ -d "$grading_repo_path" ]; then
git clone "$git_server/$course/$course-joj.git" "$grading_repo_path"
git -C "$grading_repo_path" config user.name "$git_user"
git -C "$grading_repo_path" config user.email "$git_email"
git -C "$grading_repo_path" switch --orphan grading
cat >"$grading_repo_path/Readme.md" <<EOF
# $course JOJ grading
@ -46,9 +47,6 @@ EOF
git -C "$grading_repo_path" commit -m"docs: readme"
git -C "$grading_repo_path" push -u origin grading
fi
# TODO: move this into if statement
git -C "$grading_repo_path" config user.name "$git_user"
git -C "$grading_repo_path" config user.email "$git_email"
git -C "$config_repo_path" reset --hard
git -C "$config_repo_path" pull --rebase