GitHub synchronizations continue to look normal. Thank you for your patience.
Posted Mar 20, 2018 - 21:35 UTC
Monitoring
Any delays should have been eliminated as of roughly 20 minutes ago. We are continuing to monitor the situation.
Posted Mar 20, 2018 - 21:15 UTC
Identified
We have identified the source of the synchronisation delays: an inappropriate use of our API has resulted in delays for other customers. We have taken steps to prevent the inappropriate usage and are working to get things back to normal.
Posted Mar 20, 2018 - 20:51 UTC
Investigating
We are investigating delays happening with our GitHub synchronization component. It's possible that some repositories will be missing as a result of not being able to synchronize your account. Sorry for the inconvenience.