On 06/02/18 10:10 PM, Stefan Bodewig wrote:
On 2018-02-06, Jaikiran Pai wrote:
The PR build on Jenkins is backed by the github PR integration
plugin[1]. One of the features of that plugin is to prevent some
malicious/rogue PR (imagine someone creating a PR with code which does
some odd things
On 2018-02-06, Jaikiran Pai wrote:
> The PR build on Jenkins is backed by the github PR integration
> plugin[1]. One of the features of that plugin is to prevent some
> malicious/rogue PR (imagine someone creating a PR with code which does
> some odd things with the host on which it runs) being au
So it looks like, although I did send a mail about this PR integration a
while back[1], I did not include the details about this plugin which was
used for the integration. Sorry about that.
[1] https://www.mail-archive.com/dev@ant.apache.org/msg46284.html
-Jaikiran
On 06/02/18 5:12 PM, Jaiki
The PR build on Jenkins is backed by the github PR integration
plugin[1]. One of the features of that plugin is to prevent some
malicious/rogue PR (imagine someone creating a PR with code which does
some odd things with the host on which it runs) being auto-triggered
against the Jenkins hosts.
