This is based on @brendar's instructions, which is based on email addresses from GitHub docs. It creates two labels:
GitHubGitHub - 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
GitHublabel
Matches: from:([email protected])
Do this: Skip Inbox, Apply label "GitHub"
- Apply the
GitHub - Importantlabel 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 - Importantlabel 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"