Skip to content

Instantly share code, notes, and snippets.

Marc Savy msavy

Block or report user

Report or block msavy

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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 Nov 12, 2019
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.