From f45e3ac4b6d613aa2b530aa87d30c54c5aef1f5d Mon Sep 17 00:00:00 2001
From: Jeffrey Yasskin <jyasskin@google.com>
Date: Thu, 19 Oct 2023 08:40:19 -0700
Subject: [PATCH] Pass the GITHUB_TOKEN to the repo scanner.

---
 .github/workflows/pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 9f0f1a4..77d2626 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -45,7 +45,7 @@ jobs:
         run: pnpm install
         working-directory: scanner
       - name: Scan specification repositories
-        run: pnpm scan
+        run: pnpm scan --gh-token '${{ secrets.GITHUB_TOKEN }}'
         working-directory: scanner
       - name: Install frontend dependencies
         run: pnpm install