I belong to a Github organization and am being overwhelmed by notifications sent to the various repos in that org. I have a team of people whose notifications I do need to see; I'd like to filter out every other message.
These notifications have from fields such as:
Guy DeFalt <notifications@github.com>
SomeGithubUsername <notifications@github.com>
Grace Hopper <notifications@github.com>
Ideally, I'd like to auto-archive anything matching a GMail filter like:
-{"Guy DeFalt" OR "SomeGithubUsername" OR "Grace Hopper"} AND from:notifications@github.com
However, this doesn't work: notifications that include, say, Grace Hopper
are still being filtered out. How do you filter out all messages from a specific email address except those of particular, specific people?