Github pull request builder update for Jenkins.