Remove debug

821a9e8a5e8f526c44e6b0d017e2d4f764d936d5
Certora · Jan 21, 2025 · 6b41d06 · 6b41d06
1 parent f4d86ec
commit 6b41d06
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.git-private-commit b/.git-private-commit
@@ -3,3 +3,4 @@
 a23cf5548c99c48801df611bacc25521ec676ab1
 0fd7b0f06285a029ddc5f1d0df2ec66e3eb6b774
 fcf1d6713702ca6831a83cc515c24b7faab1fbd0
+821a9e8a5e8f526c44e6b0d017e2d4f764d936d5
diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
@@ -12,11 +12,11 @@ cd "$1" || exit 1
 old_revision="$PRIVATE_ORIGIN_HASH"
 
 for commit in $REVISIONS; do
-    # AUTHOR="$(git --git-dir="$OLD_DIR/.git" log --format='%an' -n 1 "$commit")"
-    # EMAIL="$(git --git-dir="$OLD_DIR/.git" log --format='%ae' -n 1 "$commit")"
+    AUTHOR="$(git --git-dir="$OLD_DIR/.git" log --format='%an' -n 1 "$commit")"
+    EMAIL="$(git --git-dir="$OLD_DIR/.git" log --format='%ae' -n 1 "$commit")"
     MESSAGE="$(git --git-dir="$OLD_DIR/.git" log --format=%B -n 1 "$commit")"
-    # git config --global user.email "$EMAIL"
-    # git config --global user.name "$AUTHOR"
+    git config --global user.email "$EMAIL"
+    git config --global user.name "$AUTHOR"
     git --git-dir="$OLD_DIR/.git" diff "${old_revision}..${commit}" \
         -- . ':!tests_delete/' ':!**/*.solc' ':!**/*.wasm' |
         git apply --allow-empty