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
