a push notification provider example