Push notifications for mobile

Push notifications are available on mobile when a ticket is assigned.