diff options
Diffstat (limited to 'INSTALL-GITHUB-DEV')
| -rw-r--r-- | INSTALL-GITHUB-DEV | 4 |
1 files changed, 4 insertions, 0 deletions
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. |