We've now resolved the incident. Thanks for your patience.
We've fixed the core issue, and are waiting for things to recover.
We're working on resolving delays in processing data from our push API.
09:40 UTC - 19 October 2018