May 06, 2016 [dmd-internals] Add auto-merge label which is set by the auto-tester? | ||||
---|---|---|---|---|
| ||||
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
|
May 09, 2016 Re: [dmd-internals] Add auto-merge label which is set by the auto-tester? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrej Mitrovic | 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 |
Copyright © 1999-2021 by the D Language Foundation