Ignore builds where the most recent PR is closed

If a pull request is closed, it follows that the change was either
accepted (in which case it is now in main) or rejected.

In our own projects, we try to delete branches once the corresponding PR
is closed but contributors may not do this. Treat branches whose most
recent PR is closed as if they were deleted.

Fixes #21

Author: wjt

godoctopus.py

@@ -223,9 +223,18 @@ def main() -> None:
             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