Jonah Graham
2018-08-06 17:41:16 UTC
Hi folks,
What is the state of the art for building GitHub PRs on Eclipse Jenkins
instances?
I can see that GitHub pull request builder plugin
<https://wiki.jenkins.io/display/JENKINS/GitHub+pull+request+builder+plugin>
has
a "You should probably migrate to GitHub Branch Source Plugin" and a "The
current version of this plugin may not be safe to use" messages.
The GitHub Branch Source Plugin
<https://wiki.jenkins.io/display/JENKINS/GitHub+Branch+Source+Plugin> seems
to be up to date, so presumably that is the one to use.
Trawling through Bugzilla I can see that in the past
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=531165> the former was
installed, and that Bug 439145
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=439145> is currently open
request the feature - but that may simply predate the move to Jenkins.
Thanks
Jonah
~~~
Jonah Graham
Kichwa Coders Ltd.
www.kichwacoders.com
What is the state of the art for building GitHub PRs on Eclipse Jenkins
instances?
I can see that GitHub pull request builder plugin
<https://wiki.jenkins.io/display/JENKINS/GitHub+pull+request+builder+plugin>
has
a "You should probably migrate to GitHub Branch Source Plugin" and a "The
current version of this plugin may not be safe to use" messages.
The GitHub Branch Source Plugin
<https://wiki.jenkins.io/display/JENKINS/GitHub+Branch+Source+Plugin> seems
to be up to date, so presumably that is the one to use.
Trawling through Bugzilla I can see that in the past
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=531165> the former was
installed, and that Bug 439145
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=439145> is currently open
request the feature - but that may simply predate the move to Jenkins.
Thanks
Jonah
~~~
Jonah Graham
Kichwa Coders Ltd.
www.kichwacoders.com