Force a gh-pages update.

2014-05-30 21:17:45 +02:00 · 2014-05-30 21:17:45 +02:00 · 00caf7bb12
commit 00caf7bb12
parent f0d4f72414
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -14,7 +14,7 @@ deploy:
 	git reset HEAD~1
 	(git checkout -B gh-pages && \
 	git merge master && \
-	git push origin gh-pages:gh-pages) || git checkout master
+	git push -f origin gh-pages:gh-pages) || git checkout master
 	git checkout master

 setup: