Merge pull request #2664 from minrk/autoupdate-labels

include labels in PR summary
jupyterhub · Jun 13, 2023 · 5dba733 · 5dba733
2 parents c27a1bc + 3362e11
commit 5dba733
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/get-prs.py b/scripts/get-prs.py
@@ -62,7 +62,7 @@ def extract_gitref(s):
             # Chartpress ignores merge commits when generating the Helm chart SHA
             prs.update(c.get_pulls())
     pr_summaries = [
-        f"- [#{pr.number}]({pr.html_url}) {pr.title}"
+        f"- [#{pr.number}]({pr.html_url}) {pr.title} ({', '.join(label.name for label in pr.labels)})"
         for pr in sorted(prs, key=lambda pr: pr.number)
     ]