Will your PR ever be merged?
blog.pzakrzewski.com
blog.pzakrzewski.com
It would be much more interesting if the PRs were divided between "internal ones" (open by someone from the core team) and "external ones" (the rest). I'm not sure how easy it would be to gather those data automatically, though. Still, I found this quite interesting!