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=is%3Apr+is%3Amerged+sort%3Amerged-desc=✓
>
> Thats an average of 1.93 merged PRs per day (first PR merged on
Nine days ago, Phobos hit 5000 merged pull requests:
https://github.com/dlang/phobos/pulls?page=201=is%3Apr+is%3Amerged+sort%3Amerged-desc=✓
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.