From 08c4f1192fc3d006c6479346556c1751941b6552 Mon Sep 17 00:00:00 2001 From: Boming Zhang Date: Sat, 26 Jul 2025 01:48:41 -0700 Subject: [PATCH] fix: git reset --hard --- bin/joj3-forge-convert | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/joj3-forge-convert b/bin/joj3-forge-convert index ffd81d1..2053e89 100755 --- a/bin/joj3-forge-convert +++ b/bin/joj3-forge-convert @@ -50,6 +50,7 @@ EOF 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 rsync -a "$config_repo_path/home/tt/.ssh/" "/home/tt/.ssh" rsync -a --delete "$config_repo_path/home/tt/.config/" "/home/tt/.config"