On Thursday, 6 February 2014 at 21:50:40 UTC, Brad Anderson wrote:
I'm not sure how Github counts "issues closed" because I believe they treat pull requests as issues too so the number could be double what it should probably be (I could be mistaken on that).
Likely. In GitHub semantics "pull request" == "issue with attached code".
