Easily Filter Notifications by Repository
We added a special header to all outgoing repository and direct message notifications that should make it much easier to filter emails: Direct messages get a List-ID of user.github.com, while…
We added a special header to all outgoing repository and direct message notifications that should make it much easier to filter emails:
Direct messages get a List-ID of user.github.com, while repositories get repo.user.github.com. Do you want to easily filter all notifications from a user or organization? GMail supports wildcards too:
This is a quick workaround for those getting flooded with notifications. We feel your pain, and are discussing ways to solve this without drowning you in a sea of checkboxes.
Update: Gist comments now get a List-ID of ID.gist.github.com.
Written by
Related posts
GitHub Availability Report: November 2024
In November, we experienced one incident that resulted in degraded performance across GitHub services.
The top 10 gifts for the developer in your life
Whether you’re hunting for the perfect gift for your significant other, the colleague you drew in the office gift exchange, or maybe (just maybe) even for yourself, we’ve got you covered with our top 10 gifts that any developer would love.
Congratulations to the winners of the 2024 Gaady Awards
The Gaady Awards are like the Emmy Awards for the field of digital accessibility. And, just like the Emmys, the Gaadys are a reason to celebrate! On November 21, GitHub was honored to roll out the red carpet for the accessibility community at our San Francisco headquarters.