Notificaciones correos archivados Gmail
En Gmail, tengo configurado un filtro para que archive ("saltar recibidos") los correos que llegan desde un determinado remitente y les aplique una etiqueta. El problema es que la app de Gmail de mi iPhone no me alerta (notificación push) de cuando llega un correo de dicho remitente, sospecho que porque se archiva automáticamente. ¿Qué puedo hacer para recibir estas notificaciones que no implique no archivar el mensaje cuando llegue?