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"