https://github.com/theforeman/prprocessor/pull/55 should implement this, but it's pending the refactor Marek mentioned.
On Mon, Jan 16, 2017 at 09:21:13AM +0100, Marek Hulán wrote: > Hello, > > labels might help so +1 for that. I plan to send a PR with new directory > structure as discussed at [1] soon. It might help the bot to just check the > directories of touched files. > > [1] https://groups.google.com/forum/#!topic/foreman-dev/bzfBWEtIMpg > > -- > Marek > > On pátek 13. ledna 2017 10:19:02 CET Eric D Helms wrote: > > If this will help with getting reviews or directing reviews then sounds all > > good. The bot could handle this afaik as long as they are predictable which > > is which. > > > > On Jan 12, 2017 6:26 AM, "Ewoud Kohl van Wijngaarden" < > > > > ew...@kohlvanwijngaarden.nl> wrote: > > > Hello all, > > > > > > Since there are multiple types of templates in community templates, I > > > wonder if it's time to (automatically) attach labels to PRs. I was > > > thinking: > > > > > > * Remote exection > > > * Provisioning > > > > > > Maybe we need to split up Provisioning into a label per distro. > > > > > > Any thoughts on this? Can the foreman bot be easily modified to do this > > > for us? > > > > > > -- > > > You received this message because you are subscribed to the Google Groups > > > "foreman-dev" group. > > > To unsubscribe from this group and stop receiving emails from it, send an > > > email to foreman-dev+unsubscr...@googlegroups.com. > > > For more options, visit https://groups.google.com/d/optout. > > > -- > You received this message because you are subscribed to the Google Groups > "foreman-dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to foreman-dev+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "foreman-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to foreman-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.