cli__cli-842

Closed PRs for merging master into a branch will never disappear

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 1a1fc64fe4 dated 2020-05-05.

All Multi-SWE-bench (flash) tasks · more cli/cli tasks · How the check works · Report a correction