Skip to content

Instantly share code, notes, and snippets.

View octonato's full-sized avatar

Renato Cavalcanti octonato

View GitHub Profile
@octonato
octonato / gmail-github-filters.md
Created April 8, 2020 10:21 — 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