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
Why developers still flock to Python: Guido van Rossum on readability, AI, and the future of programming
Discover how Python changed developer culture—and see why it keeps evolving.
Developers still need the right to challenge junk patents
Calling on developers, startups, and open source organizations to advocate against patent rules that would make it harder to challenge bad patents by the December 2 deadline.
GitHub Availability Report: October 2025
In October, we experienced four incidents that resulted in degraded performance across GitHub services.