From cfdf2b202d36d2332a37af51c770054bfb3d49c8 Mon Sep 17 00:00:00 2001
From: Francois Kritzinger <francois@codesynthesis.com>
Date: Thu, 19 Dec 2024 16:15:26 +0200
Subject: ci-github: Add questions/TODOs

---
 INSTALL-GITHUB-DEV | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'INSTALL-GITHUB-DEV')

diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV
index 5634072..8614979 100644
--- a/INSTALL-GITHUB-DEV
+++ b/INSTALL-GITHUB-DEV
@@ -156,6 +156,10 @@ aspects but can't redeliver webhooks.
     - Re-requested check suite.
     - Re-requested check run.
     - Head shared with BP.
+
+      @@ TMP Does this mean the pull_request is received after the
+         check_suite?
+
     - Not meargeable.
     - Head behind base.
     - Head commit has changed.
-- 
cgit v1.1