Merge pull request #47 from dtolnay/nohistory

Discard gh-pages commit history

Author: reem

deploy-docs.sh

@@ -10,11 +10,9 @@ git init
 git config user.email '[email protected]'
 git config user.name 'FlashCat'
 git remote add upstream "https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git"
-git fetch upstream gh-pages
-git reset upstream/gh-pages
 
 touch .
 
 git add -A .
-git commit -m "rebuild pages at ${rev}"
-git push -q upstream HEAD:gh-pages
+git commit -qm "rebuild pages at ${rev}"
+git push -q upstream HEAD:gh-pages --force