tree 2bae9b757d0845ffab199a9a830ef7907d4d826e
parent b48f55805a30812221edbb8c831e21a1695cc494
author Geoffrey Martin-Noble <gcmn@google.com> 1599153488 -0700
committer GitHub <noreply@github.com> 1599153488 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfUSVQCRBK7hj4Ov3rIwAAdHIIABnSeq3mLEFbKSTQ1sB5xrOw
 5Zh66INRqTvog+wrhQvf7szyLKvXsBLaLYhSqGRmyqSPwIevpA5wxm3Md8cpcr83
 tieO0Cojw+m5OjEKQqjJL9Ij0h1EZXFiDAYAq6g6LxpvimAictJpKUaU1L/1gMnl
 e+VYaLbzh8qwu/c3Cu/eJ2EIOOOk25Irshr9cCpWiAlBnlQzacZTn8VXQni3EwU4
 eKXZahhm0H3bxwOQj8Ig+498zmuUl8bJ49g9ZB+CKnVY+n8vdppNvN2gG62J27nJ
 6Y0HQE7MJqGCYQU0c0AAJ2LPbK1RspY0ijL3vxx0aWLctXaXY1mtLPDLmYA0jIA=
 =CGjT
 -----END PGP SIGNATURE-----
 

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.