diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-17 15:33:42 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-17 15:36:13 +0200 |
| commit | 09770fb24073041464f1298b4833c51f028f062d (patch) | |
| tree | 492f56b924cc8087a8bcd707ede465dbf08ffcfa /INSTALL-GITHUB-DEV | |
| parent | d50e2ae861180d6f965b0c4dee4d401d01f571b5 (diff) | |
Update INSTALL-GITHUB-DEV
Diffstat (limited to 'INSTALL-GITHUB-DEV')
| -rw-r--r-- | INSTALL-GITHUB-DEV | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV index 244d26c..dfcbfe7 100644 --- a/INSTALL-GITHUB-DEV +++ b/INSTALL-GITHUB-DEV @@ -63,9 +63,11 @@ At this stage the only settings we need to update are: - Checks: RW - Metadata (mandatory): RO - Pull requests: RO + - Contents: RO (for Push events) - Subscribed events - Check suite - Pull request + - Push Click "Create GitHub App" button. When the page reloads: @@ -126,10 +128,15 @@ aspects but can't redeliver webhooks. - Branch push (BP). - - Success (also observe check run state transitions). - - Failure (also observe check run state transitions). + - Success (observe check runs state transitions). Test with 2 build configs. + - Failure (observe check runs state transitions). + - Push new commit to branch. - Re-requested check suite. - - Re-requested check run. + - Re-requested check run (observe check run state transitions). + - Re-requested check run but tenant archived. + - Cancel previous check suite on forced push. + - Head commit shared with another BP. + - Cancel previous check suite on forced push with shared previous commit. - Pull request (PR). @@ -137,6 +144,7 @@ aspects but can't redeliver webhooks. - Success. - Failure. + - Push new commit to head. - Re-requested check suite. - Re-requested check run. - Head shared with BP. @@ -146,6 +154,7 @@ aspects but can't redeliver webhooks. - Success. - Failure. + - Push new commit to head. - Re-requested check suite. - Re-requested check run. - Head shared with another remote PR. |