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 > <[email protected]> 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 > [email protected] > http://lists.puremagic.com/mailman/listinfo/dmd-internals _______________________________________________ dmd-internals mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
