diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2025-01-06 11:18:12 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2025-01-06 11:18:12 +0200 |
| commit | 4a9effc77765a5335d6e8d147ee12cd98ba0db1b (patch) | |
| tree | a6984ea471cfc690179fdc2bf405b7371068a84f /INSTALL-GITHUB-DEV | |
| parent | 57cd6b245c9025582f22903838e011bf8bb41f6c (diff) | |
Reviewci-github-4
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. |