From f3b269cc5d5f1683aba34f57c7d5b991c5dd3743 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sat, 23 Nov 2024 20:20:33 -0500
Subject: [PATCH] build: only comment once on an issue mentioned twice

---
 ci/comment_on_fixes.py | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/ci/comment_on_fixes.py b/ci/comment_on_fixes.py
index 2f7dbdc47..7debf0bfe 100644
--- a/ci/comment_on_fixes.py
+++ b/ci/comment_on_fixes.py
@@ -21,8 +21,10 @@
 print(f"Comment will be:\n\n{comment}\n")
 
 repo_owner = sys.argv[1]
-for m in re.finditer(fr"https://github.com/{repo_owner}/(issues|pull)/(\d+)", latest["text"]):
-    kind, number = m.groups()
+url_matches = re.finditer(fr"https://github.com/{repo_owner}/(issues|pull)/(\d+)", latest["text"])
+urls = set((m[0], m[1], m[2]) for m in url_matches)
+
+for url, kind, number in urls:
     do_comment = False
 
     if kind == "issues":
@@ -31,7 +33,7 @@
         if issue_data["state"] == "closed":
             do_comment = True
         else:
-            print(f"Still open, comment manually: {m[0]}")
+            print(f"Still open, comment manually: {url}")
     else:
         url = f"https://api.github.com/repos/{repo_owner}/pulls/{number}"
         pull_data = get_session().get(url).json()
@@ -39,12 +41,12 @@
             if pull_data["merged"]:
                 do_comment = True
             else:
-                print(f"Not merged, comment manually: {m[0]}")
+                print(f"Not merged, comment manually: {url}")
         else:
-            print(f"Still open, comment manually: {m[0]}")
+            print(f"Still open, comment manually: {url}")
 
     if do_comment:
-        print(f"Commenting on {m[0]}")
+        print(f"Commenting on {url}")
         url = f"https://api.github.com/repos/{repo_owner}/issues/{number}/comments"
         resp = get_session().post(url, json={"body": comment})
         print(resp)