Re: [push-api] ServiceWorkerRegistration.pushRegistrationManager is very verbose (#47)

I think all of Jake's suggestions are better than the current PushRegistrationManager. I'd prefer to avoid PushService because that's already a concept in the spec. I prefer PushManager over PushMessaging because it's a noun, so I went with that.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/47#issuecomment-67035718