[FYI] GitHub PR builder for incubator-brooklyn not firing consistently

[Richard Downer]

All,

FYI - the issue with the Jenkins PR builder not always picking up new
and changed PRs has been raised with Infra:
https://issues.apache.org/jira/browse/INFRA-11099

Richard.