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 Universe 2025: Here’s what’s in store at this year’s developer wonderland
Sharpen your skills, test out new tools, and connect with people who build like you.
GitHub Copilot: Meet the new coding agent
Implementing features has never been easier: Just assign a task or issue to Copilot. It runs in the background with GitHub Actions and submits its work as a pull request.
Code. Create. Commit. Welcome to dev/core
The new GitHub Shop collection is here. We’re celebrating you.