update circle build to not build docs on master because they should be built on PR branches

2018-05-21 20:40:18 +02:00
parent 90502fe9d7
commit df6743871e
1 changed files with 2 additions and 0 deletions
@@ -36,6 +36,8 @@ jobs:

            if git diff-index --quiet HEAD -- ; then
              echo "Not committing documentation because there are no changes"
+            elif [[ "${CIRCLE_BRANCH}" == "master" ]]; then
+              echo "Not committing documentation because we are on master and doc changes should be part of pull request branches"
            else
              git config credential.helper 'cache --timeout=120'
              git config user.email "<email>"