tweak doc script

Author: frenchy64

bin/push_docs_for_current_commit.sh

@@ -5,7 +5,7 @@ set -e
 # https://github.com/weavejester/codox/wiki/Deploying-to-GitHub-Pages
 lein doc
 git fetch origin
-git checkout origin/gh-pages # To be sure you're on the right branch
+git checkout gh-pages # To be sure you're on the right branch
 git reset --hard origin/gh-pages
 git pull origin gh-pages
 # gh-pages is currently deployed from root (not `doc` folder)