pull down to refresh

I’m revealing a little bit here, but I received 2 push notifications for this post:
  1. A stacker whose posts to which I’ve subscribed made a post
  2. Someone posted in a territory to which I’ve subscribed
These are properly deduped at /notifications, but not at the push notification level.
I’ll try to open a github issue.
I’m also thinking it would be cool to have a way to submit github issues directly from SN. Probably overkill, though