fix jekyll metadata warning

.github/workflows/push.yml

@@ -62,7 +62,7 @@ jobs:
           path: |
             docbuild/.lake/build/doc
           key: LakeBuildDoc-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ hashFiles('lake-manifest.json') }}
-          restore-keys: LakeBuild-
+          restore-keys: LakeBuildDoc-
 
       - name: Setup symlinks between project and docbuild
         working-directory: docbuild
@@ -121,6 +121,8 @@ jobs:
 
       - name: Bundle website
         working-directory: docs
+        env:
+            JEKYLL_GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: JEKYLL_ENV=production bundle exec jekyll build
 
       # - name: Upload docs & blueprint artifact to `docs/`

docs/_config.yml

@@ -31,7 +31,7 @@ repository: fpvandoorn/carleson
 remote_theme: pages-themes/[email protected]
 plugins:
   - jekyll-remote-theme
-
+  - jekyll-github-metadata
 markdown: kramdown
 # Exclude from processing.
 # The following items will not be processed, by default.