From 4a9effc77765a5335d6e8d147ee12cd98ba0db1b Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 6 Jan 2025 11:18:12 +0200
Subject: Review

---
 INSTALL-GITHUB-DEV | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'INSTALL-GITHUB-DEV')

diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV
index 8614979..722fd8d 100644
--- a/INSTALL-GITHUB-DEV
+++ b/INSTALL-GITHUB-DEV
@@ -155,14 +155,10 @@ aspects but can't redeliver webhooks.
     - Push new commit to head.
     - 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?
-
+    - Head shared with BP (pull_request is received after check_suite)
     - Not meargeable.
     - Head behind base.
-    - Head commit has changed.
+    - Head commit has changed while testing manageability.
 
   - Remote PR.
 
-- 
cgit v1.1