Reverting change to ./push.sh

Signed-off-by: Tim Henderson <[email protected]>
zwh2 · Nov 5, 2015 · 49b93ba · 49b93ba
1 parent 1059883
commit 49b93ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/push.sh b/push.sh
@@ -12,7 +12,7 @@ set -e
 
 # Clone the gh-pages branch outside of the repo and cd into it.
 cd ..
-git clone -b gh-pages "git@github.com:$ORG/$REPO.git" gh-pages
+git clone -b gh-pages "https://$GH_TOKEN@github.com/$ORG/$REPO.git" gh-pages
 cd gh-pages
 
 # Update git configuration so I can push.