www

commit 9df4817c65a0324198d8a618ce4b028338db95ca
parent 73b15e74c66858ce25211e1251de25f96c397b33
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon, 20 Mar 2017 18:17:09 +0100

Fixed auto-deploy script

Diffstat:
M
auto-push-gh-pages.sh
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/auto-push-gh-pages.sh b/auto-push-gh-pages.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 set -e
 set -x
-if test "$(git config remote.origin.url)" != "https://github.com/jsmaniac/phc-thesis.git"
+if test "$(git config remote.origin.url)" != "https://github.com/jsmaniac/phc-thesis.git"; then
   echo "Not on official repo, will not deploy gh-pages."
 elif test "$TRAVIS_PULL_REQUEST" != "false"; then
   echo "This is a Pull Request, will not deploy gh-pages."