Google has a "chrome to phone" browser extension and android app (that manages the push notification) -- https://chrome.google.com/webstore/detail/oadboiipflhob

Google has a "chrome to phone" browser extension and android app (that manages the push notification) -- https://chrome.google.com/webstore/detail/oadboiipflhobonjjffjbfekfjcgkhco https://chrome.google.com/webstore/detail/oadboiipflhobonjjf... -- but I found that it didn't work well for me, because having multiple concurrent logins to google (for adgrok.com and mceachen.org) confused the extension.