Merge branch 'main' into main

.github/workflows/update-pr-branches.yml

@@ -1,7 +1,7 @@
 name: Update PR Branches
 
 on:
-    workflow_dispatch: 
+    workflow_dispatch:
 
 jobs:
     update:
@@ -14,11 +14,17 @@ jobs:
               with:
                   github-token: ${{ secrets.BOT }}
                   script: |
-                      const { data: prs } = await github.rest.pulls.list({
+                      const prs = await github.paginate(
-                          owner: context.repo.owner,
+                          github.rest.pulls.list,
-                          repo: context.repo.repo,
+                          {
-                          state: "open"
+                              owner: context.repo.owner,
-                      });
+                              repo: context.repo.repo,
+                              state: "open",
+                              per_page: 100
+                          }
+                      );
+
+                      console.log(`Found ${prs.length} open PRs`);
 
                       for (const pr of prs) {
                           try {