+1 makes sense! Colm.
On Wed, Feb 12, 2020 at 6:27 AM Jean-Baptiste Onofre <j...@nanthrax.net> wrote: > Hi everyone, > > Now, on ActiveMQ Jenkins PR job, we are using the « new » GitHub PR plugin. > If this plugin works fine, he has a limitation: the only way to trigger a > PR build is to update the PR itself. > We have another plugin available: PullRequest Builder. > This plugin is pretty similar to the other one, but it allows users to > trigger a build using key sentence (« retest this please » by default). > > If there’s no objection, I would like to change the Jenkins PR job to use > the GitHub PR Builder. > > The reason is that I’m working to stabilize the build on Jenkins (we have > several flaky tests) and so, I would like to open a PR where I can trigger > several builds. > > Thoughts ? > > Regards > JB
