From 747377fbb9684bd2f5811b080bfbde1fedc59b6c Mon Sep 17 00:00:00 2001
From: Francois Kritzinger <francois@codesynthesis.com>
Date: Tue, 17 Dec 2024 15:34:05 +0200
Subject: ci-github: Handle forced pushes and branch deletions

Cancel CI of the previous head commit in the case of overwritten or deleted
history.

In the process, move branch push handling from handle_check_suite_request() to
handle_branch_push() because GitHub sends a push event instead of a
check_suite when a new branch is created so tenant reference counting would
not work otherwise.
---
 mod/mod-ci-github-gh.cxx | 52 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)

(limited to 'mod/mod-ci-github-gh.cxx')

diff --git a/mod/mod-ci-github-gh.cxx b/mod/mod-ci-github-gh.cxx
index 021ff6b..2e886ac 100644
--- a/mod/mod-ci-github-gh.cxx
+++ b/mod/mod-ci-github-gh.cxx
@@ -656,6 +656,58 @@ namespace brep
     return os;
   }
 
+  // gh_push_event
+  //
+  gh_push_event::
+  gh_push_event (json::parser& p)
+  {
+    p.next_expect (event::begin_object);
+
+    bool rf (false), bf (false), af (false), fd (false), dl (false),
+      rp (false), in (false);
+
+    // Skip unknown/uninteresting members.
+    //
+    while (p.next_expect (event::name, event::end_object))
+    {
+      auto c = [&p] (bool& v, const char* s)
+      {
+        return p.name () == s ? (v = true) : false;
+      };
+
+      if      (c (rf, "ref"))          ref = p.next_expect_string ();
+      else if (c (bf, "before"))       before = p.next_expect_string ();
+      else if (c (af, "after"))        after = p.next_expect_string ();
+      else if (c (fd, "forced"))       forced = p.next_expect_boolean<bool> ();
+      else if (c (dl, "deleted"))      deleted = p.next_expect_boolean<bool> ();
+      else if (c (rp, "repository"))   repository = gh_repository (p);
+      else if (c (in, "installation")) installation = gh_installation (p);
+      else p.next_expect_value_skip ();
+    }
+
+    if (!rf) missing_member (p, "gh_push_event", "ref");
+    if (!bf) missing_member (p, "gh_push_event", "before");
+    if (!af) missing_member (p, "gh_push_event", "after");
+    if (!fd) missing_member (p, "gh_push_event", "forced");
+    if (!dl) missing_member (p, "gh_push_event", "deleted");
+    if (!rp) missing_member (p, "gh_push_event", "repository");
+    if (!in) missing_member (p, "gh_push_event", "installation");
+  }
+
+  ostream&
+  operator<< (ostream& os, const gh_push_event& p)
+  {
+    os << "ref: " << p.ref
+       << ", before: " << p.before
+       << ", after: " << p.after
+       << ", forced: " << p.forced
+       << ", deleted: " << p.deleted
+       << ", repository { "  << p.repository << " }"
+       << ", installation { " << p.installation << " }";
+
+    return os;
+  }
+
   // gh_installation_access_token
   //
   // Example JSON:
-- 
cgit v1.1