:wrench: more git

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 1e0ad921a1b21b2b3add4ca1b557839e6ecebf07..30a7f1f13643b747f0d6aae2998ff01414f529d7 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -84,12 +84,12 @@ jobs:
         git add README.md coverage_num.txt
         git commit -m "Update coverage" || true
         git push || true
-        git push origin :gh-pages || true
         cp focus.js html
         cd html
         git add .
         git commit -m "Update html report"
-        git push origin --set-upstream origin gh-pages
+        git push
+#        git push origin --set-upstream origin gh-pages
 #        git add -f html
 #        git commit -m "Update html report"
 #        git subtree push --prefix html origin gh-pages