diff options
| -rw-r--r-- | INSTALL-GITHUB-DEV | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV index dfcbfe7..5634072 100644 --- a/INSTALL-GITHUB-DEV +++ b/INSTALL-GITHUB-DEV @@ -69,6 +69,12 @@ At this stage the only settings we need to update are: - Pull request - Push + Note that GitHub apps with write access to the "Checks" permission are + automatically subscribed to check_suite(requested|rerequested) and check_run + events so no need to subscribe explicitly. However in order to receive + check_suite(completed) events, which we do, one does have to subscribe to + check_suite. + Click "Create GitHub App" button. When the page reloads: - Note the app id (e.g. 12345). @@ -135,8 +141,10 @@ aspects but can't redeliver webhooks. - Re-requested check run (observe check run state transitions). - Re-requested check run but tenant archived. - Cancel previous check suite on forced push. + - Cancel previous check suite on branch delete. - Head commit shared with another BP. - Cancel previous check suite on forced push with shared previous commit. + - Cancel previous check suite on branch delete with shared previous commit. - Pull request (PR). @@ -148,14 +156,16 @@ aspects but can't redeliver webhooks. - Re-requested check suite. - Re-requested check run. - Head shared with BP. - - Not meargeable/head behind base. + - Not meargeable. + - Head behind base. + - Head commit has changed. - Remote PR. - Success. - Failure. - Push new commit to head. + - Cancel previous check suite on head move. - Re-requested check suite. - Re-requested check run. - Head shared with another remote PR. - - Cancel previous check suite on head move. |