this is frustrating

Author: James Hagborg

scripts/deploy_docs.sh

@@ -1,3 +1,5 @@
+#!/bin/bash
+
 DEPLOY_DIR=$1
 
 echo "Deploying docs to ${DEPLOY_DIR}"
@@ -8,7 +10,7 @@ cd $HOME
 echo "debug: cwd is $(pwd)"
 git config --global user.email "[email protected]"
 git config --global user.name "travis-ci"
-git clone --depth=50 --quiet --branch=gh-pages "https://${GH_TOKEN}@github.com/teamhyper/hyperLib.git" gh-pages &> /dev/null
+git clone --quiet "https://${GH_TOKEN}@github.com/teamhyper/hyperLib.git" gh-pages > /dev/null
 ls -la
 cd gh-pages
 echo "debug: cwd is now $(pwd)"
@@ -25,6 +27,6 @@ echo "Committing and pushing..."
 # Commit and push changes
 git add -f .
 git commit -m "Add latest javadoc from build $TRAVIS_BUILD_NUMBER to $DEPLOY_DIR"
-git push -fq origin gh-pages &> /dev/null
+git push -fq origin gh-pages > /dev/null
 
 echo "Docs successfully deployed"