Merge pull request #26 from adomani/blog_blog_blog

fix: checkout the blog

Author: adomani

.github/workflows/weekly_blog_and_website_report.yml

@@ -27,7 +27,7 @@ jobs:
     - name: Checkout blog
       uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       with:
-        repository: 'leanprover-community/leanprover-community.github.io'
+        repository: 'leanprover-community/blog'
         path: blog
 
     - name: Produce tables