Hi folks, as part of some cleanup and consolidation (essentially we don't want to maintain two different plugins that do the same thing), we have removed support for the old GitHub PR Builder on Jenkins, and are focusing on the modern variant. If your build previously made use of the old one (It's called "GitHub Pull Request Builder" in the job configuration), we ask that you please switch to the newer one (called "Build pull requests to the repository" in the same config). There should be no other changes, but if your builds start acting up, do let infra know :).
As an added bonus, you no longer need to contact infra about webhooks when setting up PR builds for new repositories, it should just work(tm). With regards, Daniel on behalf of ASF Infra.
