Over the last 2 days, push notifications and email alerts may have been slow to come or missed due to the previous server issues. Everything is running normally now.
Sorry for the inconvenience.
We will be doing maintenance on the database servers tonight. This will start around 12:30a Nov 12 and last a couple of hours. We do not expect extended downtimes, just a quick reboot. During the maintenance window, the servers will respond slower than normal.