[frognumber]

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.