はじめにGitHub Pull Request Builder Plugin とは何ぞや？的な内容については、下記のページを参考にしてください。私も非常に参考になりました。ありがとうございます。Jenkinsでプルリクエストをビルドす…