Skip to content

Instantly share code, notes, and snippets.


Marc Savy msavy

View GitHub Profile
View diff.patch
diff --git a/pom.xml b/pom.xml
index 2e7287d..8de48bf 100644
--- a/pom.xml
+++ b/pom.xml
@@ -307,20 +307,21 @@
View headless.schema.json
"type": "object",
"properties": {
"apis": {
"title": "APIs",
"type": "array",
"items": {
"type": "object",
"title": "API",
"required": ["organizationId", "apiId", "version", "endpoint", "endpointType", "endpointContentType"],
ldez /
Last active Aug 5, 2020
Gmail and GitHub - Filters

Gmail and GitHub

Create new filters and create new labels.

Pull Request

from:( 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

You can’t perform that action at this time.