There's no push API available for public devs like me, so I have to use polling, the only way push would be possible is to store user tokens on a server and have it poll with a short interval then send a notification to the device, but that violates user privacy imo. But afaik there's a push API available for the internal app, whether it's used or not is something I'm not sure about