Scenario:
frank@example.com and alice@example.com belong to google group hr@example.com. Both of them send important memos to the whole company.
Until today, I had been able to search for important HR messages by filtering in gmail with this filter:
from:frank@example.com OR from:alice@example.com
Problem is, there is a new member of HR bob@example.com. He also sends mail to all employees, he also belongs to group hr@example.com.
I hate maintaining my filters. I am looking for a filter that will allow me to find email from anyone that belongs to group hr@example.com. I was looking for something like this:
from:hr@example.com
This doesn't work though, I get zero results with this filter.
Does anybody know if there is a way to filter email by members of google groups in gmail?
Note: I am aware that they could in theory send email using as sender the group hr@example.com. They don't however, and I am not campaigning for them to change.
Thanks for your help.