Read a Copilot File Table That Leaves Out Only Binary Files as Covering Them #3489

Summary

scripts/pr_review.py reads coverage=table only where a Copilot round's file table names exactly the changed files. Copilot's table leaves out binary files, so any pull request that changes one reads coverage=none, and Merge Gate item 2 goes unmet although every text file was read.

Reproduction

A constructed case: a pull request changing docs/a.md and static/b.png. The Copilot round's table names docs/a.md alone. pr_review.py status prints coverage=none and NO COVERAGE IS SHOWN: ... names 1 path(s) where the pull request changes 2 file(s).

It recurred twice in one Blog session. A font pull request had 17 of 27 files in the table, the other 10 being woff2. A promotion had 51 of 189, the other 138 being PNG, JPEG, WOFF2, ZIP, and MP4.

Expected

The comparison leaves out files GitHub reports as binary, or files the repository marks binary in .gitattributes. A table naming every remaining changed file then reads coverage=table, and the digest says how many binary files were left out, so the reading stays checkable.

🤖 Generated with Claude Code