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
