From 22a01ba73b986c7c73176e3ab55b69344e4b699a Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Tue, 23 Jan 2018 17:12:26 -0500
Subject: [PATCH] add `-p` flag to `ghp-import` so that it pushes

---
 ci/github_pages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/github_pages.sh b/ci/github_pages.sh
index f5dd7898..b0dc2690 100644
--- a/ci/github_pages.sh
+++ b/ci/github_pages.sh
@@ -6,7 +6,7 @@ BOOK_DIR=book
 # Only upload the built book to github pages if it's a commit to master
 if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false ]; then
     mdbook build 
-    ghp-import $BOOK_DIR
+    ghp-import -p $BOOK_DIR
 else
     echo Skipping 'mdbook build' because this is not master or this is just a PR.
 fi