Skip to content

Instantly share code, notes, and snippets.

View jponge's full-sized avatar

Julien Ponge jponge

View GitHub Profile
@jponge
jponge / gmail-github-filters.md
Created July 5, 2019 14:03 — forked from ldez/gmail-github-filters.md
Gmail and GitHub - Filters

Gmail and GitHub

Create new filters and create new labels.

Pull Request

from:([email protected]) AND {"Patch Links" "approved this pull request." "requested changes on this pull request." "commented on this pull request." "pushed 1 commit." "pushed 2 commits." "pushed 3 commits."}

label: gh-pull-request