Merge pull request #30 from endlessm/pr-fixes

Miscellaneous PR-related fixes

Author: wjt

branches.html

@@ -15,7 +15,7 @@
         {% endif %}
         {% if branch.pull_request %}
             from pull request
-            <a href="{{ branch.pull_request.url }}">#{{ branch.pull_request.number }}: {{ branch.pull_request.title }}</a>
+            <a href="{{ branch.pull_request.html_url }}">#{{ branch.pull_request.number }}: {{ branch.pull_request.title }}</a>
         {% endif %}
         {% if not branch.build %}
             (never built)

godoctopus.py

@@ -220,12 +220,27 @@ def main() -> None:
 
     for org, fork in web_artifacts.items():
         for branch_name, branch in fork.live_branches.items():
+            if not branch.build and org != default_org:
+                logging.debug(
+                    "Ignoring never-built third-party branch %s:%s", org, branch_name
+                )
+                continue
+
             item: dict[str, Any] = {"name": f"{org}/{branch_name}"}
 
             try:
-                item["pull_request"] = pull_requests[f"{org}:{branch_name}"][0]
+                pull_request = pull_requests[f"{org}:{branch_name}"][0]
             except (KeyError, IndexError):
                 pass
+            else:
+                if pull_request["state"] == "closed":
+                    logging.info(
+                        "Ignoring branch %s; newest pull request %s is closed",
+                        item["name"],
+                        pull_request["url"],
+                    )
+                    continue
+                item["pull_request"] = pull_request
 
             if branch.build:
                 item["build"] = branch.build