Hi John,
I believe nobody changed the pull request job?, so I guess it's best to
raise an issue with infra:
https://issues.apache.org/jira/browse/INFRA/?selectedTab=com.atlassian.jira.jira-projects-plugin:summary-panel
to check if there is an issue with the github integrations/hook.
Cheers,
Pascal
Am 27.12.2015 um 04:42 schrieb John Wagenleitner:
The builds.apache.org <http://builds.apache.org> CI server doesn't
seem to be picking up Github pull requests. If there's a more
appropriate way to report this kind of issue please let me know and
I'll follow it in the future.
