Nexstar Digital uses push to help local news stations distribute real-time breaking, topical, and federal news stories.