ASF -> GitHub sync

[Mike Thomsen]

I approved one of Matt's PRs and merged, but it seems to be taking
unusually long for the sync to GitHub. Is something broken?