All the details about push notifications and how the admin handled the push notifications are
discussed here.
Found errors? Think you can improve this documentation? Simply click the Edit link at the top of the page, and then the icon on Github to make your changes.