apache thrift git repo posting errors, github integration down?

["James E. King, III" <jk...@apache.org>]

I pushed two commits up to apache master for thrift this morning and they
errored out.  They seem have been pushed correctly, but the post-push hooks
must have failed.  The github pull requests that were open did not close
automatically, and the github master is currently stale by two commits
relative to the apache master.

When issues like this occur, is this the right place to report it?

- Jim