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:(notifications@github.com)
Do this: Skip Inbox, Apply label "GitHub"
- Apply the
GitHub - Important
label to GitHub notifications that are not going toreview_requested@noreply.github.com
orpush@noreply.github.com
Matches: from:(notifications@github.com) to:(-review_requested@noreply.github.com, -push@noreply.github.com)
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:(notifications@github.com) "requested your review"
Do this: Apply label "GitHub - Important"