[dmd-internals] Add auto-merge label which is set by the auto-tester?

Steven Schveighoffer via dmd-internals dmd-internals at puremagic.com
Mon May 9 08:54:52 PDT 2016


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 at 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 at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-internals




More information about the dmd-internals mailing list