From 4213cad6edb1a2bb1c2cc2a775c3f94c4aeac821 Mon Sep 17 00:00:00 2001
From: inv <igor.nazarov@opencascade.com>
Date: Thu, 3 Nov 2022 22:31:45 +0300
Subject: [PATCH] Update

---
 get.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/get.sh b/get.sh
index eb6e180557..43beea6e0e 100644
--- a/get.sh
+++ b/get.sh
@@ -17,8 +17,6 @@ echo "Getting commit whose hash matches the hash of commit with problematic file
 for hash in $list ; do    
     list_changed_files=$(git diff-tree --no-commit-id --name-only -r $hash | sed 's/\// /g' | awk '{ print $NF }')
     for changed_file in $list_changed_files; do
-        echo problem_file=$problem_file
-        echo changed_file=$changed_file
         if [ "$problem_file" == "$changed_file" ] ; then
             echo Reverting: 
             echo $(git log -1 --format=oneline $hash)
-- 
2.39.5