Detenga las notificaciones de Gmail cuando reciba correos electrónicos de un remitente particular

¿Hay alguna forma de evitar que la aplicación de Gmail muestre una notificación si recibe un correo electrónico de un remitente específico?

Mi caso específico es que recibo muchos correos electrónicos de un sitio de carreras que generalmente no estoy interesado en leer de inmediato, por lo que no es necesario que me notifiquen sobre ellos. Hay una pregunta relacionada en el sitio, pero esto es lo contrario.

Desde la interfaz web de Gmail, cree una regla para darle una etiqueta de su elección y omita la bandeja de entrada. Luego, desde la aplicación de Android Gmail, cambie la configuración de esa etiqueta para que no le notifique.

Con más detalle, la primera parte es:

• Inicie sesión en Gmail en un navegador y haga clic en el botón de configuración (icono de engranaje).
• Haga clic en la pestaña Filtros , luego cree un nuevo filtro en la parte inferior.
• Establezca la configuración para el filtro: en este caso, use el campo De .
• Haga clic en el botón de búsqueda (lupa) para verificar su filtro, o vaya directamente a Crear un filtro con esta búsqueda .
• Marque la casilla Omitir la bandeja de entrada (Archivarlo) y otra en Aplicar la etiqueta y elija la etiqueta que desee o cree una nueva en el menú desplegable.
• Haz clic en Crear filtro .

Luego, comenzando desde la pantalla principal (vista de carpeta) de la aplicación Gmail:

• Haga clic en el menú de desbordamiento (tres puntos en la esquina superior derecha)
• Elija Administrar etiquetas
• Elija la etiqueta que acaba de establecer en el filtro
• Asegúrese de que las notificaciones de etiquetas estén desactivadas.