Ask HN: How long before Google starts pushing ads in notifications?

Considering the ad revenue from mobiles are way less than that on the web, The question is how long before Google starts selling push notification ad placements?