Test exclude

0695536c9fe7e537604bafdd93feefbd48f4d744
Certora · Jan 21, 2025 · 249f9c1 · 249f9c1
1 parent 6e4cd29
commit 249f9c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
@@ -15,7 +15,7 @@ for commit in $REVISIONS; do
     EMAIL="$(git --git-dir="$OLD_DIR/.git" log --format='%ae' -n 1 "$commit")"
     git config --global user.email "$EMAIL"
     git config --global user.name "$AUTHOR"
-    git --git-dir="$OLD_DIR/.git" format-patch -k -1 --stdout "$commit" |
+    git --git-dir="$OLD_DIR/.git" format-patch -k -1 --stdout "$commit" -- . ':!tests_delete/' |
         git am --exclude tests_delete --exclude cloud-test-private -3 -k
 
     OLD_MESSAGE="$(git log --format=%B -n 1 HEAD)"