add github page7

Author: boudhayan

.githooks/pre-commit

@@ -5,4 +5,4 @@ repo_root="$(git rev-parse --show-toplevel)"
 "$repo_root/scripts/update-readme.sh"
 "$repo_root/scripts/fix-and-lint-staged-swift.sh"
 git add "$repo_root/README.md"
-git add "$repo_root/README.pages.md"
+git add "$repo_root/README.pages.html"

.github/workflows/ci.yml

@@ -35,7 +35,7 @@ jobs:
           ./scripts/update-readme.sh
       - name: Ensure README is committed
         run: |
-          git diff --exit-code -- README.md README.pages.md
+          git diff --exit-code -- README.md README.pages.html
 
   duplicate-problem-detector:
     name: Duplicate Problem Detector