update

Author: shink

.github/actions/list-pr/action.yml

@@ -35,7 +35,14 @@ runs:
         result-encoding: string
         debug: true
         script: |
-          const pullsResp = await github.paginate(github.rest.pulls.list, {
+          const timeRange = parseInt("24") * 60 * 60 * 1000;
+          const sinceTime = new Date(Date.now() - timeRange).toISOString();
+          const input_labels = "";
+          const labels = input_labels
+           ? input_labels.split(/[,\n]/).map(label => label.trim())
+           : [];
+
+          const iterator = await github.paginate.iterator(github.rest.pulls.list, {
             owner: "pytorch",
             repo: "pytorch",
             state: "open",
@@ -44,15 +51,8 @@ runs:
             per_page: 100,
           });
 
-          const timeRange = parseInt("24") * 60 * 60 * 1000;
-          const sinceTime = new Date(Date.now() - timeRange).toISOString();
-          const input_labels = "";
-          const labels = input_labels
-            ? input_labels.split(/[,\n]/).map(label => label.trim())
-            : [];
-
           const prs = [];
-          for await (const resp of pullsResp) {
+          for await (const resp of iterator) {
             const filtered_prs = resp.data.filter(pr => {
               const hasLabel = labels.length === 0
                 || labels.every(label => pr.labels.some(prLabel => prLabel.name === label));