[Nix-dev] codetriage.com

[Michael Raskin]

>>> https://github.com/NixOS/nixpkgs/pulls?utf8=✓&q=is:pr+is:open+updated:<2015-10-01
>> 
>> My point was ?if the submitter has got commit rights by now?.
>> 
>> That seems to be harder to query for.
>
>Yeah, there seems to be no way. I can only see filtering by mentions of
>the whole nixos/nixpkgs-committers team. But I personally don't think
>it's so important to filter these cases out, in our case.

I dunno. If we start with closing only the insiders' PRs, it can be 
better from the project PR point of view.