:wrench: Remove comments from the end of file

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 2fd088bef9b8c7b60e8217c1e76ea68268a37259..9cb7239075c4ce9797cde3915f5c06c103f6d49c 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -99,7 +99,3 @@ jobs:
         git add .
         git commit -m "Update html report"
         git push origin HEAD:gh-pages
-#        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