aboutsummaryrefslogtreecommitdiff
path: root/INSTALL-GITHUB-DEV
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL-GITHUB-DEV')
-rw-r--r--INSTALL-GITHUB-DEV8
1 files changed, 2 insertions, 6 deletions
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.