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