INFRA-18219
INFRA-18219

it turns out
https://builds.apache.org/github-pull-request-hook/ is hooped, and while
it accepted PRs, it did nothing with them. Changing the hook URL to
https://builds.apache.org/github-webhook/ seems to have solved the
problem.

apache/infrastructure-puppet,apache/infrastructure-puppet,apache/infrastructure-puppet,sebbASF/infrastructure-puppet,sebbASF/infrastructure-puppet,sebbASF/infrastructure-puppet,sebbASF/infrastructure-puppet,sebbASF/infrastructure-puppet,apache/infrastructure-puppet,apache/infrastructure-puppet,sebbASF/infrastructure-puppet,sebbASF/infrastructure-puppet,sebbASF/infrastructure-puppet,apache/infrastructure-puppet,apache/infrastructure-puppet