@@ -25,7 +25,9 @@ in
25 rev=$(git rev-parse --short HEAD)
25 rev=$(git rev-parse --short HEAD)
27 echo "Updating git index..."
27 echo "Updating git index..."
28 git checkout gh-pages
29 git checkout gh-pages
30+ git reset --hard origin/gh-pages
29 GIT_WORK_TREE=$(pwd)/site git add -A
31 GIT_WORK_TREE=$(pwd)/site git add -A
30 check_staged
32 check_staged
31 echo "Committing changes..."
33 echo "Committing changes..."