Sample push notifications code used for blog post series.