In case there's a lot of pulls being tested and already a set of them
were enabled with auto-merge, I'd like to filter these PRs out of the
PR list on github. Labels seem like a good tool for this. Perhaps the
auto-tester could label a PR with a "auto-merge" label so we can
filter that PR when we're on the hunt for reviewing PRs which haven't
been approved for merging yet.
_______________________________________________
dmd-internals mailing list
dmd-internals@puremagic.com
http://lists.puremagic.com/mailman/listinfo/dmd-internals

Can you use auto tester list for this?

https://auto-tester.puremagic.com/pulls.ghtml?projectid=1

-Steve

> On May 6, 2016, at 4:32 PM, Andrej Mitrovic via dmd-internals <dmd-internals@puremagic.com> wrote:
> 
> In case there's a lot of pulls being tested and already a set of them
> were enabled with auto-merge, I'd like to filter these PRs out of the
> PR list on github. Labels seem like a good tool for this. Perhaps the
> auto-tester could label a PR with a "auto-merge" label so we can
> filter that PR when we're on the hunt for reviewing PRs which haven't
> been approved for merging yet.
> _______________________________________________
> dmd-internals mailing list
> dmd-internals@puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals


_______________________________________________
dmd-internals mailing list
dmd-internals@puremagic.com
http://lists.puremagic.com/mailman/listinfo/dmd-internals