Do you need a Push Notification Manager? – Redis PubSub to the rescue (blog.joshsoftware.com)