GMail unterstützt pushing derzeit nur über die GMail App. Diese beruht auch nicht auf IMAP, sondern ist ein Aufsatz für das Webinterface unter mail.google.com.
Das hat man besonders schön gesehen, als Google Ende Februar einen Totalausfall des Webinterface hatte. IMAP ging tadellos, Web und G1 waren ausgesperrt.