I'm sure solutions exist for push notifications. Has anyone had success with any of them? I played a little with PushOver, which seems to work fine. PushOver p

I'm sure solutions exist for push notifications. Has anyone had success with any of them? I played a little with PushOver, which seems to work fine. PushOver provides a user-specific (difficult to guess) e-mail address. E-mails sent there become push notifications. This can be combined with Fastmail's option to forward summarized e-mails. One of the nice things about Fastmail is that you can use Sieve, so you can e.g. set up filtering such that only e-mails that arrive in the inbox are forwarded for push notifications. It's not my default setup yet (I am mostly playing with Fastmail, while still using GMail as my primary e-mail provider), but it looked promising.