[muzi] update permissions ✊

zulucoda · Aug 15, 2018 · f58d0a4 · f58d0a4
1 parent 3fd7901
commit f58d0a4
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/travis-ci-git-commit.sh b/travis-ci-git-commit.sh
@@ -14,11 +14,11 @@ function travis-branch-commit() {
         err "failed to get $TRAVIS_BRANCH reference"
         return 1
     fi
-    #if [[ $head_ref != $branch_ref ]]; then
-    #    msg "HEAD ref ($head_ref) does not match $TRAVIS_BRANCH ref ($branch_ref)"
-    #    msg "someone may have pushed new commits before this build cloned the repo"
-    #    return 0
-    #fi
+    if [[ $head_ref != $branch_ref ]]; then
+        msg "HEAD ref ($head_ref) does not match $TRAVIS_BRANCH ref ($branch_ref)"
+        msg "someone may have pushed new commits before this build cloned the repo"
+        return 0
+    fi
     if ! git checkout "$TRAVIS_BRANCH"; then
         err "failed to checkout $TRAVIS_BRANCH"
         return 1