Skip to content

Instantly share code, notes, and snippets.

Avatar

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 @@
<build>
<plugins>
<plugin>
<groupId>org.sonatype.plugins</groupId>
<artifactId>nexus-staging-maven-plugin</artifactId>
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
ldez / gmail-github-filters.md
Last active Aug 5, 2020
Gmail and GitHub - Filters
View gmail-github-filters.md

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

You can’t perform that action at this time.