On Tue, Mar 06, 2018 at 07:21:10PM +, Jack Stouffer via Digitalmars-d wrote:
> 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 merg
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.