diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-19 16:15:26 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-19 16:15:26 +0200 |
| commit | cfdf2b202d36d2332a37af51c770054bfb3d49c8 (patch) | |
| tree | 6d60f710541703098af7fd5f96538486e3d0d4b0 /INSTALL-GITHUB-DEV | |
| parent | 62ec3a690f59814d28ff5c4c1e7dd9fd1fab7e7b (diff) | |
ci-github: Add questions/TODOs
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. |