From c441a8b40b0225c2c304db7bd21ed19f2f016073 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 27 Nov 2024 10:14:07 +0200
Subject: Handle rest of pull_request actions

---
 mod/mod-ci-github.cxx | 82 ++++++++++++++++++++++++++++++++-------------------
 1 file changed, 52 insertions(+), 30 deletions(-)

diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx
index 119968d..d9a84f8 100644
--- a/mod/mod-ci-github.cxx
+++ b/mod/mod-ci-github.cxx
@@ -398,7 +398,8 @@ namespace brep
         throw invalid_request (400, move (m));
       }
 
-      if (pr.action == "opened" || pr.action == "synchronize")
+      if (pr.action == "opened" ||
+          pr.action == "synchronize")
       {
         // opened
         //   A pull request was opened.
@@ -408,18 +409,63 @@ namespace brep
         //   new commits were pushed to the head branch. (Note that there is
         //   no equivalent event for the base branch.)
         //
-        // Note that both cases are handled the same: we start a new CI
+        // Note that both cases are handled similarly: we start a new CI
         // request which will be reported on the new commit id.
         //
         return handle_pull_request (move (pr), warning_success);
       }
-      else
+      else if (pr.action == "edited")
       {
-        // Ignore the remaining actions by sending a 200 response with empty
-        // body.
+        // PR base branch changed (to a different branch) besides other
+        // irrelevant changes (title, body, etc).
+        //
+        // This is in a sense a special case of the base branch moving. In
+        // that case we don't do anything (due to the head sharing problem)
+        // relying instead on the branch protection rule. So it makes sense
+        // to do the same here.
         //
-        // @@ Ignore known but log unknown, as in check_suite above?
+        return true.
+      }
+      else if (pr.action == "closed")
+      {
+        // PR has been closed (as merged or not; see merged member). Also
+        // apparently received if base branch is deleted. (And presumably same
+        // for head branch.) See also the reopened event below.
+        //
+
+        // Cancel CI?
+      }
+      else if (pr.action == "reopened")
+      {
+        // Previously closed PR has been reopened.
         //
+      }
+      else if (pr.action == "assigned"               ||
+               pr.action == "auto_merge_disabled"    ||
+               pr.action == "auto_merge_enabled"     ||
+               pr.action == "converted_to_draft"     ||
+               pr.action == "demilestoned"           ||
+               pr.action == "dequeued"               ||
+               pr.action == "enqueued"               ||
+               pr.action == "labeled"                ||
+               pr.action == "locked"                 ||
+               pr.action == "milestoned"             ||
+               pr.action == "ready_for_review"       ||
+               pr.action == "review_request_removed" ||
+               pr.action == "review_requested"       ||
+               pr.action == "unassigned"             ||
+               pr.action == "unlabeled"              ||
+               pr.action == "unlocked")
+      {
+        // These have no relation to CI.
+      }
+      else
+      {
+        // Ignore unknown actions by sending a 200 response with empty body
+        // but also log as an error since we want to notice new actions.
+        //
+        error << "unknown action '" << pr.action << "' in pull_request event";
+
         return true;
       }
     }
@@ -1433,30 +1479,6 @@ namespace brep
   //   gets updated with the head commit's SHA and check_suite.pull_requests[]
   //   will contain all PRs with this branch as head.
   //
-  // Remaining TODOs
-  //
-  // - @@ TODO? PR base branch changed (to a different branch)
-  //
-  //   => pull_request(edited)
-  //
-  // - PR closed @@ TODO
-  //
-  //   Also received if base branch is deleted. (And presumably same for head
-  //   branch.)
-  //
-  //   => pull_request(closed)
-  //
-  //   Cancel CI?
-  //
-  // - PR merged @@ TODO
-  //
-  //   => pull_request(merged)
-  //
-  //   => check_suite(PR_base)
-  //
-  //   Probably wouldn't want to CI the base again because the PR CI would've
-  //   done the equivalent already.
-  //
   bool ci_github::
   handle_pull_request (gh_pull_request_event pr, bool warning_success)
   {
-- 
cgit v1.1