You must log in or register to comment.
Merged PR count is 882 (checked from the GraphQL API). The closed tab includes PRs that were closed without merging.
Ah dang, more than 100 still to go.
The “1000 PR Attempts” trophy then
Exciting to see there is a lot of active development and community participation on the project. 🥳
That’s not an achievement.