Skip to content

Instantly share code, notes, and snippets.

@banderson
banderson / gmail-github-filters.md
Created June 21, 2018 18:06 — forked from ldez/gmail-github-filters.md
Gmail and GitHub - Filters

Gmail and GitHub

Create new filters and create new labels.

Pull Request

from:(notifications@github.com) 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

@banderson
banderson / remote-ui.md
Last active March 3, 2023 15:41
Remote UI discussion

Remote UI @ HubSpot

  • What we're building
  • Where remote-ui comes in
  • Our proposed architecture
  • Open questions