specs for sending push notifications when tickets are available