minor: ensure external repos are also cleaned and reset from previous

nrmancuso · Nov 3, 2022 · 7262fd1 · 7262fd1
1 parent 414a982
commit 7262fd1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.ci/util.sh b/.ci/util.sh
@@ -31,9 +31,11 @@ function checkout_from {
   mkdir -p .ci-temp
   cd .ci-temp
   if [ -d "$PROJECT" ]; then
-    echo "Target project $PROJECT is already cloned, latest changes will be fetched"
+    echo "Target project $PROJECT is already cloned, latest changes will be fetched and reset"
     cd "$PROJECT"
     git fetch
+    git reset --hard HEAD
+    git clean -f -d
     cd ../
   else
     for i in 1 2 3 4 5; do git clone "$CLONE_URL" && break || sleep 15; done