Gary's wife is having issues getting push notifications for her email. Leo says she'll need to enable it in her Gmail account. She could also just turn on "fetch," which is a pull-oriented option. Leo says that using pull or fetch as her primary way will save battery life as it will just get the email whenever she opens the app.
The chatroom says that this is now a paid feature of Gmail Pro. Push notifications are no longer free with a basic Gmail account.