Discuss auto-close stale PR's

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:

1 Like