I believe the GP meant Chrome to Phone which was one of Google's first examples of using push messaging. It's still around and usable. [1]

[1] https://play.google.com/store/apps/details?id=com.google.and...