aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-12-17 15:33:42 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-12-17 15:36:13 +0200
commit09770fb24073041464f1298b4833c51f028f062d (patch)
tree492f56b924cc8087a8bcd707ede465dbf08ffcfa
parentd50e2ae861180d6f965b0c4dee4d401d01f571b5 (diff)
Update INSTALL-GITHUB-DEV
-rw-r--r--INSTALL-GITHUB-DEV15
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.