As some of you are aware, there have been some issues syncing changes from repositories on https://git-wip-us.apache.org to the mirrors on GitHub.
The issues we are seeing:
- Pull requests not being closed when they should be
- Changes not being synced to the GitHub mirrors
- Bots other than asfgit closing PRs on Apache GitHub mirrors.
We are looking into why changes are not being synced, as well as why PRs are not getting closed and why some PRs are being closed by other bots such as hubot.
We will update this blog post as we get more information about the sync issues.