Nine days ago, Phobos hit 5000 merged pull requests: https://github.com/dlang/phobos/pulls?page=201&q=is%3Apr+is%3Amerged+sort%3Amerged-desc&utf8=✓ Thats an average of 1.93 merged PRs per day (first PR merged on Jan 31, 2011). A huge thank you to everyone who made this happen.