There's a numerator and a denominator. The numerator is fine for what you're saying -- the number of merged PRs. The denominator varies wildly based on whether

There's a numerator and a denominator. The numerator is fine for what you're saying -- the number of merged PRs. The denominator varies wildly based on whether or not the PR is made. If codex makes nonsense, I don't ask it to make a PR.