[ci skip] Try to skip needless rebuilds on Docker Hub

parente · parente · commit b7e7015550a0 · 2019-05-05T20:01:41.000-04:00
diff --git a/base-notebook/hooks/post_checkout b/base-notebook/hooks/post_checkout
@@ -0,0 +1,4 @@
+#!/bin/bash
+if [[ "$COMMIT_MSG" = *"skip ci"* || "$COMMIT_MSG" = *"ci skip"* ]]; then
+    exit 1;
+fi

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +#!/bin/bash
 +if [[ "$COMMIT_MSG" = *"skip ci"* || "$COMMIT_MSG" = *"ci skip"* ]]; then
 +    exit 1;
 +fi