diff options
Diffstat (limited to 'INSTALL-GITHUB-DEV')
-rw-r--r-- | INSTALL-GITHUB-DEV | 8 |
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. |