who knows at this point

Author: James Hagborg

scripts/deploy_docs.sh

@@ -8,7 +8,7 @@ cd $HOME
 echo "debug: cwd is $(pwd)"
 git config --global user.email "[email protected]"
 git config --global user.name "travis-ci"
-git clone --quiet --branch=gh-pages "https://${GH_TOKEN}@github.com/teamhyper/hyperLib" gh-pages &> /dev/null
+git clone --depth=50 --quiet --branch=gh-pages "https://${GH_TOKEN}@github.com/teamhyper/hyperLib.git" gh-pages &> /dev/null
 ls -la
 cd gh-pages
 echo "debug: cwd is now $(pwd)"