How I manage my github notifications with Gmail

October 14, 2021

A lot of Mozilla mobile product development is now hosted on Github, which is what many of our contributors prefer as a platform too. This leads to a lot of noise from Github’s notification system and I’ve had some troubles managing it over the years.

As a follow-up to how you can manage bugmail with gmail, I found a similar way to manage my most important Github notifications via Gmail:

You can apply the same filters with the rules below:

Matches: from:(notifications@github.com)
Do this: Skip Inbox, Apply label "GitHub", Categorize as Forums

Matches: to:(author@noreply.github.com)
Do this: Apply label "GitHub/Author", Mark it as important

Matches: cc:comment@noreply.github.com
Do this: Skip Inbox, Apply label "GitHub/Comments"

Matches: to:(mention@noreply.github.com)
Do this: Skip Inbox, Apply label "GitHub/Mentions"

Matches: to:(review_requested@noreply.github.com) "requested your review"
Do this: Apply label "GitHub/Review Requested", Mark it as important

Matches: to:(review_requested@noreply.github.com)
Do this: Apply label "GitHub/Reviews"

The filters above are sorted in the same order as the screenshot if you’d like to only use a select few.

If you’re feeling ambitious, you can download the filters in the appropriate XML format for Gmail so that you can import them for your account. This is probably not advisable because I’m someone on the internet that you probably do not know. :)

Discussion, links, and tweets

I'm a software enginer that's worked on various Android projects for a while now. If you'd like to follow me on Twitter, I don't always post about tech things.