do git commit --amend / git push --force to avoid gh-pages becoming too large #151