Remove duplicate PRs due to label filtering

Benedikt Volkel · Benedikt Volkel · commit b1065517082f · 2024-04-24T17:58:39.000+02:00
diff --git a/.github/workflows/publish_requests.yml b/.github/workflows/publish_requests.yml
@@ -45,6 +45,7 @@ jobs:
                     createdAt
                     updatedAt
                     mergedAt
+                    number
                     labels(first:10) {
                       edges{
                         node {
@@ -67,6 +68,7 @@ jobs:
                     createdAt
                     updatedAt
                     mergedAt
+                    number
                     labels(first:10) {
                       edges{
                         node {
@@ -103,8 +105,17 @@ jobs:
               #     - mergedAt or updatedAt
               prs_dict = {}
 
+              pr_numbers = []
+
               for pr in prs:
 
+                  number = pr['number']
+
+                  if number in pr_numbers:
+                      continue
+
+                  pr_numbers.append(number)
+
                   flag = pr['state']
 
                   if flag not in prs_dict:
