Maintenance of the GitHub mirror of the WordPress build repository has recently being transferred to the WordPress.org systems team.
In future, any syncing issues with the GitHub mirror should be reported to the system team, either on the make/systems blog of via the Slack #meta channel if you are unable to post a report to the systems blog.
Background
The WordPress git mirror began as an unofficial project maintained by Mark Jaquith an Emeritus Committer and WordPress Lead Developer. In 2014 official Git mirrors were created and mirrored to GitHub.
The original GitHub mirror of the build repository continued to
Click here to continue reading this article.
