force push to gh-pages

rust-lang-ja · Jul 10, 2016 · 8626c4b · 8626c4b
1 parent e69378c
commit 8626c4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/circleci/publish-to-gh-pages.sh b/tools/circleci/publish-to-gh-pages.sh
@@ -54,5 +54,5 @@ if [ $ret -eq 0 ] ; then
 else
     git commit -m "ci: publish pages at ${REVISION}"
     echo "Pushing to gh-pages..."
-    git push origin gh-pages
+    git push -f origin gh-pages
 fi