cli__cli-513
`gh pr list --state=closed` excludes `merged` — differs from `is:closed` behavior on web UI?
Verdict: no gold-patch lines found in the issue text (rule check only, no model read).
No gold-patch lines found in the issue text (rule check only, no model read). Upstream fix commit cbc2d16230 dated 2020-02-20.
All Multi-SWE-bench (flash) tasks · more cli/cli tasks · How the check works · Report a correction