diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-04 12:09:19 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-10 16:44:55 +0200 |
| commit | 87588e0916f7e5d4c3709c14157615a08656cbdd (patch) | |
| tree | 7e920eb60b029e8558f24c231e0e5e254fa19492 /INSTALL-GITHUB-DEV | |
| parent | e28291b10fa2fbe12d33eba5acfc7de62b0f1dcc (diff) | |
Support multiple GitHub app instances
Diffstat (limited to 'INSTALL-GITHUB-DEV')
| -rw-r--r-- | INSTALL-GITHUB-DEV | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV index 45f4b9b..245b095 100644 --- a/INSTALL-GITHUB-DEV +++ b/INSTALL-GITHUB-DEV @@ -1,3 +1,5 @@ +@@ TODO Explain multiple apps in INSTALL-GITHUB-DEV. + This document explains how to get GitHub webhooks (a notification that an event such as a push has occurred on a repository) delivered to a locally-running instance of brep (currently to initiate a CI job). |