@parislemon:

iOS Gmail Push notifications been screwed up for anyone else all week? Only use it for search now thanks to @mailbox - may finally delete.

I deleted the Gmail app the day I got @mailbox. Search seems to work fine for me.