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

fix: git reset --hard
All checks were successful
push / build (push) Successful in 2m22s
Details

Browse Source
This commit is contained in:
张泊明518370910136 2025-07-26 01:48:41 -07:00
parent c8f1283f58
commit 08c4f1192f
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
bin/joj3-forge-convert
View File

@ -50,6 +50,7 @@ EOF
git -C "$grading_repo_path" config user.name "$git_user" 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" config user.email "$git_email"
git -C "$config_repo_path" reset --hard
git -C "$config_repo_path" pull --rebase git -C "$config_repo_path" pull --rebase
rsync -a "$config_repo_path/home/tt/.ssh/" "/home/tt/.ssh" rsync -a "$config_repo_path/home/tt/.ssh/" "/home/tt/.ssh"
rsync -a --delete "$config_repo_path/home/tt/.config/" "/home/tt/.config" rsync -a --delete "$config_repo_path/home/tt/.config/" "/home/tt/.config"