github sync stuck

[Owen O'Malley]

All,
   The github synchronization seems stuck. I've filed
https://issues.apache.org/jira/browse/INFRA-10946 to ask infra to fix it.

.. Owen