On second thought maybe the notifications weren’t push per se and it was just using the regular notification API with some web socket or long polling in the background.