Do not process closed PRs

Author: iarspider

Diff for: process_pr.py

@@ -1019,6 +1019,7 @@ def process_pr(repo_config, gh, repo, issue, dryRun, cmsbuild_user=None, force=F
     ok_too_many_files = False
     warned_too_many_files = False
     is_draft_pr = False
+    pr = None
 
     if issue.pull_request:
         pr = repo.get_pull(prId)
@@ -1043,6 +1044,9 @@ def process_pr(repo_config, gh, repo, issue, dryRun, cmsbuild_user=None, force=F
                     )
                     issue.create_comment(msg)
             return
+        if pr.merged and (not force):
+            logger.error("This PR is merged, quitting")
+            return
         # A pull request is by default closed if the branch is a closed one.
         if is_closed_branch(pr.base.ref):
             mustClose = True
@@ -1667,6 +1671,10 @@ def process_pr(repo_config, gh, repo, issue, dryRun, cmsbuild_user=None, force=F
             if not dryRun:
                 issue.edit(state="open")
 
+    if pr and pr.state == "closed" and not reOpen:
+        logger.info("PR is closed and reopen not requested - quitting")
+        return
+
     if issue.pull_request:
         if (
             pr.commits >= TOO_MANY_COMMITS_WARN_THRESHOLD