From 2e4b360512b7ec3f89f0cd2e0859a633beae36c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ciro=20Santilli=20=E5=85=AD=E5=9B=9B=E4=BA=8B=E4=BB=B6=20?=
 =?UTF-8?q?=E6=B3=95=E8=BD=AE=E5=8A=9F?= <ciro.santilli@gmail.com>
Date: Thu, 5 Sep 2019 00:00:01 +0000
Subject: [PATCH] publish-gh-pages: include gitignore

---
 publish-gh-pages | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/publish-gh-pages b/publish-gh-pages
index c3a7201..6942322 100755
--- a/publish-gh-pages
+++ b/publish-gh-pages
@@ -4,9 +4,13 @@ set -eu
 git push
 ./build-doc --github-pages
 git checkout gh-pages
-git checkout master -- '*.png' _config.yml
+git checkout master -- \
+  .gitignore \
+  '*.png' \
+  _config.yml \
+;
 cp out/README.html index.html
 git add index.html
 git commit --message "$(git log -n1 --pretty='%H' master)"
-git push --force
+git push
 git checkout -