feat(pr): add batch sync command, enhance update process for PRs

Author: oleander

Justfile

@@ -36,4 +36,14 @@ pr PR_NUMBER CMD:
 
 # Sync a specific PR with origin/main
 sync-pr PR_NUM CMD = "date":
-    just pr {{PR_NUM}} "git merge origin/main --no-edit && {{CMD}} && cargo fmt --check && cargo check && git push origin"
+    just pr {{PR_NUM}} "git fetch origin && git merge origin/main --no-edit && {{CMD}} && cargo fmt --check && cargo check && git push origin --force"
+
+# Sync all open PRs with origin/main
+sync-all-prs:
+    just sync-pr 74 "cargo fmt --all && git add -A && git commit --amend --no-edit"
+    just sync-pr 75 "cargo fmt --all && git add -A && git commit --amend --no-edit"
+    just sync-pr 76 "cargo fmt --all && git add -A && git commit --amend --no-edit"
+    just sync-pr 78 "cargo fmt --all && git add -A && git commit --amend --no-edit"
+    just sync-pr 79 "cargo fmt --all && git add -A && git commit --amend --no-edit"
+    just sync-pr 80 "cargo fmt --all && git add -A && git commit --amend --no-edit"
+    just sync-pr 88 "cargo fmt --all && git add -A && git commit --amend --no-edit"