publish-gh-pages: remove rm index.html not needed anymore

2026-01-23 02:05:57 +01:00 · 2019-07-14 00:00:08 +00:00
parent 062d1cf085
commit 3c628ee19f
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@@ -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