could be nice to add a "merged PR with a test" metric. looking at the PRs they a...

		kaelandt 6 months ago \| parent \| context \| favorite \| on: Tracking Copilot vs. Codex vs. Cursor vs. Devin PR... could be nice to add a "merged PR with a test" metric. looking at the PRs they are mostly without tests, so could be bogus for all we know