CI: fix bash

pydoit · Oct 2, 2017 · 72ab984 · 72ab984
1 parent d751459
commit 72ab984
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -89,7 +89,7 @@ jobs:
           command: |
             cd docs/_build/html
             git add --all
-            if ! [ git diff --cached --quiet --exit-code ] ; then
+            if ! git diff --cached --quiet --exit-code ; then
                git commit -m "update site"
                git push origin gh-pages
             fi