From 60d894f4a8dd9f78d257cd5c34cb86f945047b9d Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Wed, 19 Jun 2024 03:32:37 -0400
Subject: [PATCH] fix: test submodule reset to remote

---
 scripts/prepare_test_repos.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/prepare_test_repos.sh b/scripts/prepare_test_repos.sh
index de93557..21f0558 100755
--- a/scripts/prepare_test_repos.sh
+++ b/scripts/prepare_test_repos.sh
@@ -24,6 +24,7 @@ for submodule in $submodules; do
     repo_names[$repo_name]=1
     cd $repo_dir
     git checkout -q $branch
+    git reset -q --hard origin/$branch
     cd -
     submodule_dir="$submodules_dir/$repo_name/$submodule"
     mkdir -p $submodule_dir