There was a push server outage on for a few hours this weekend. It was  my mistake while upgrading components. I will be more careful in the future. Obviously no messaging traffic goes through this server so there was no data loss. Some people may not have reliably received new message notifications this weekend.