From 3c628ee19f87c803867f8d89f128b70c2d0f767a 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: Sun, 14 Jul 2019 00:00:08 +0000
Subject: [PATCH] publish-gh-pages: remove rm index.html not needed anymore

---
 publish-gh-pages | 1 -
 1 file changed, 1 deletion(-)

diff --git a/publish-gh-pages b/publish-gh-pages
index 5aa7ceb..c3a7201 100755
--- a/publish-gh-pages
+++ b/publish-gh-pages
@@ -10,4 +10,3 @@ git add index.html
 git commit --message "$(git log -n1 --pretty='%H' master)"
 git push --force
 git checkout -
-rm index.html