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
