That’s the number of issues, freshly migrated from BPO.
The number of PRs is still more-or-less the same, 1,548 showing as 1.5k:
That’s the number of issues, freshly migrated from BPO.
The number of PRs is still more-or-less the same, 1,548 showing as 1.5k: