Include URL in Discord bot changelog to link to the Github PR page (#22497)

Tools/actions_changelogs_since_last_run.py

@@ -114,8 +114,9 @@ def send_to_discord(entries: Iterable[ChangelogEntry]) -> None:
         for entry in group:
             for change in entry["changes"]:
                 emoji = TYPES_TO_EMOJI.get(change['type'], "❓")
+                url = entry["url"]
                 message = change['message']
-                content.write(f"{emoji} {message}\n")
+                content.write(f"[{emoji}]({url}) {message}\n")
 
     body = {
         "content": content.getvalue(),
@@ -130,4 +131,4 @@ def send_to_discord(entries: Iterable[ChangelogEntry]) -> None:
     requests.post(DISCORD_WEBHOOK_URL, json=body)
 
 
-main()
+main()

Tools/update_changelog.py

@@ -61,6 +61,7 @@ def main():
             "time", datetime.datetime.now(datetime.timezone.utc).isoformat()
         )
         changes = partyaml["changes"]
+        url = partyaml["url"]
 
         if not isinstance(changes, list):
             changes = [changes]
@@ -71,7 +72,7 @@ def main():
             new_id = max_id
 
             entries_list.append(
-                {"author": author, "time": time, "changes": changes, "id": new_id}
+                {"author": author, "time": time, "changes": changes, "id": new_id, "url": url}
             )
 
         os.remove(partpath)