[scikit-learn] Github project management tools

[Gael Varoquaux]

On Fri, Sep 16, 2016 at 09:14:12AM +1000, Joel Nothman wrote:
> One downside is that there does not yet seem to be a way to search for
> PRs with a specified level of approval (while searching for "MRG+1" sort-of
> works).

Yes, I do that a lot. So this is not a great improvement for me.

G