This is based on @brendar's instructions, which is based on email addresses from https://help.github.com/en/articles/about-email-notifications. It creates two labels:
GitHub
GitHub - Important
Save the attached mailFilters.xml
file locally, then in Gmail, go to Settings
-> Filters and Blocked Addresses
, then click on Import Filters
, browse to the attached .xml file and click Open file
. Then click the Create filters
button if they look good.
- Filter all GitHub notifications out of the inbox and apply the
GitHub
label
Matches: from:([email protected])
Do this: Skip Inbox, Apply label "GitHub"
- Apply the
GitHub - Important
label to GitHub notifications that are not going to[email protected]
or[email protected]
Matches: from:([email protected]) to:([email protected], [email protected])
Do this: Apply label "GitHub - Important"
- Apply the
GitHub - Important
label to GitHub notifications with the text "requested your review" to flag notifications about reviews for which you were explicitly requested (as opposed to review requests going to a team you're in)
Matches: from:([email protected]) "requested your review"
Do this: Apply label "GitHub - Important"