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