update-gh-pages.sh: git push --force