4.0.0 org.jenkins-ci.plugins plugin 1.476 ghprb github pull requests builder 1.3.2 hpi https://wiki.jenkins-ci.org/display/JENKINS/GitHub+pull+request+builder+plugin janinko Honza Brázdil jbrazdil@redhat.com scm:git:ssh://github.com/jenkinsci/ghprb-plugin.git scm:git:ssh://git@github.com/jenkinsci/ghprb-plugin.git https://github.com/jenkinsci/ghprb-plugin Github https://github.com/janinko/ghprb/issues UTF-8 com.coravy.hudson.plugins.github github 1.4 org.kohsuke github-api 1.33 repo.jenkins-ci.org http://repo.jenkins-ci.org/public/ jgit-repository Eclipse JGit Repository http://download.eclipse.org/jgit/maven repo.jenkins-ci.org http://repo.jenkins-ci.org/public/