pull down to refresh

Quick note @ekzyis I still seem to be getting duplicate push notifications on edited items where I’m mentioned.
Huh, weird, thanks for letting me know, will check
reply
Maybe this is related to this? Since both could be caused by a stale service worker.
But it should immediately update and register the new service worker 🤔
reply
Yea it does feel like the service worker is stale for me. Hmm…
reply
Is it only on iOS? Or also desktop?
My service worker is #1520:
Not sure how to check on mobile but maybe with USB debugging or something.
reply
I'm not sure those numbers are global ids. Mine is #8745
reply
Oh, interesting, guess I must have skipped some (a lot of) updates
So makes sense, it's not a global id
Good point!
reply
I’ve only tried iOS. I can take a look via USB debug later, I’m traveling today.
What does this number mean?
reply
Nah, I think the number is not relevant anymore, see @k00b's comment
The number just increments when your service worker was updated
reply