Phobos PR in need of review/merge

Seb via Digitalmars-d digitalmars-d at puremagic.com
Sun Jul 9 16:05:05 PDT 2017


On Saturday, 8 July 2017 at 06:05:54 UTC, Meta wrote:
> I thought I'd let everyone know that there has been a whopping 
> 36 PRs merged in the past week (versus 17 opened). We're now 
> sitting at 114 open Phobos PRs. Thanks to the reviewers/mergers 
> who put in the effort to get that number down.

Btw _every_ helping hand in reviewing PRs is very welcome.
It's not very difficult and usually just a "I reviewed this PR 
and it LGTM" helps to bump the priority.
Otherwise of course, the author should be notified about existing 
blocking points in his PR.

Since a couple of months, GitHub allows to list all PRs that 
haven't received a review (yet):

https://github.com/dlang/phobos/pulls?page=3&q=is%3Apr+is%3Aopen+review%3Anone

Also, you can filter out labelled PRs, e.g. all PRs except those 
that depend on work from the submitter:

https://github.com/dlang/phobos/pulls?utf8=%E2%9C%93&q=is%3Apr%20review%3Anone%20is%3Aopen%20-label%3A%22needs%20work%22%20

The "needs work" label gets automatically removed on a new push.


More information about the Digitalmars-d mailing list