Child pages
  • GitHub pull request builder plugin

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Make the jenkins comment commands more visible.

...

Wiki Markup
{jenkins-plugin-info:pluginId=ghprb}

Commands: 

When a new pull request is opened in the project and the author of the pull request isn't whitelisted, builder will ask "Can one of the admins verify this patch?". One of the admins can comment

  • "ok to test" to accept this

...

  • pull request for testing

...

  • "test this please" for a one time test run

...

  • "add to whitelist" to add the author to the whitelist

...

If an author of a pull request is whitelisted, adding a new pull request or new commit to an existing pull request will start a new build.A new build can also be started with a comment: the build fails for other various reasons you can rebuild.

  • "retest this please"

...

  • to start a new build

Installation:

  • I recomend to create GitHub 'bot' user that will be used for communication with GitHub (however you can use your own account if you want).
  • The user needs to have push rights for your repository (must be collaborator (user repo) or must have Push & Pull rights (organization repo)).
  • If you want to use GitHub hooks have them set automatically the user needs to have administrator rights for your repository (must be owner (user repo) or must have Push, Pull & Administrative rights (organization repo))

...