commit 6ef77d9d440393732a94b5c02b9292a7c882dcf4
author Geoffrey Martin-Noble <gcmn@google.com> Thu Sep 03 10:18:08 2020 -0700
committer GitHub <noreply@github.com> Thu Sep 03 10:18:08 2020 -0700
tree 2bae9b757d0845ffab199a9a830ef7907d4d826e
parent b48f55805a30812221edbb8c831e21a1695cc494

Filter out deleted files in tabs check (#3071)

Otherwise the diff will list deleted files and then grep will fail
because the files don't exist, e.g.
https://github.com/google/iree/pull/3065/checks?check_run_id=1068022415

Tested:
Ran the script before (failing) and after (succeeding) on
https://github.com/google/iree/pull/3065, which deletes files.

scripts/check_tabs.sh

diff --git a/scripts/check_tabs.sh b/scripts/check_tabs.sh
index 61f15f1..f287fad 100755
--- a/scripts/check_tabs.sh
+++ b/scripts/check_tabs.sh
@@ -31,7 +31,7 @@
 excluded_files_pattern="$(IFS="|" ; echo "${excluded_files_patterns[*]?}")"
 
 readarray -t files < <(\
-  (git diff --name-only "${BASE_REF}" || kill $$) \
+  (git diff --name-only --diff-filter=d "${BASE_REF}" || kill $$) \
     | grep -v -E "${excluded_files_pattern?}")
 
 diff="$(grep --with-filename --line-number --perl-regexp '\t' "${files[@]}")"