Hi folks
I’m setting up a local Jenkins server on my box and could use some directions.
I have Jenkins up, and have pulled down the jenkinsci/ghprb-plugin.git repo,
but I can’t find on our wiki pages the instructions on how to configure Jenkins
jobs for this purpose, or how to setup the “hook”
There are two pages that I know of:
* https://github.com/open-mpi/ompi/wiki/PRJenkins
* https://github.com/open-mpi/ompi/wiki/PRJenkinsSetupFirewall
I wrote the second one, and it includes some details on how to setup the
Pull Request Builder. You probably don't need all of it, since it also has
