Gmail and GitHub - Filtersgmail-github-filters.md Gmail and GitHub How to filter emails from GitHub in Gmail and flag them with labels. The labels in this document are just examples. Pull Request Filter Label from:(notifications@github.com) subject:"PR \#" gh-pull-request Note: special characters like ( or # are ignored and the escape \ doesn't work. GitHub Actions Filter Label from:(ci_activity@github.com) gha Discussion
