removed unnecessary diff

replayio · Dec 9, 2024 · ca9beb9 · ca9beb9
1 parent 32b17ae
commit ca9beb9
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/scripts/resolver_10609.sh b/scripts/resolver_10609.sh
@@ -29,16 +29,6 @@ TARGET_REPO="$OUTPUT_DIR/workspace/${ISSUE_TYPE}_${ISSUE_NUMBER}"
 rm -f $OUTPUT_FILE
 
 echo "Target repo at: $TARGET_REPO"
-
-# only cd if the directory exists
-if [ -d "$TARGET_REPO" ]; then
-    cd "$TARGET_REPO"
-    diff=$(git diff)
-    if [ -n "$diff" ]; then
-        echo "Make sure that the repo is clean. Current diff:"
-        echo "$diff"
-    fi
-fi
 echo "Logging to \"$LOG_FILE\"..."
 
 cd "$OH_DIR"