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: September 2025
In September, we experienced three incidents that resulted in degraded performance across GitHub services.
The developer role is evolving. Here’s how to stay ahead.
AI is changing how software gets built. Explore the skills you need to keep up and stand out.
How GitHub protects developers from copyright enforcement overreach
Why the U.S. Supreme Court case Cox v. Sony matters for developers and sharing updates to our Transparency Center and Acceptable Use Policies.