From 87588e0916f7e5d4c3709c14157615a08656cbdd Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 4 Dec 2024 12:09:19 +0200
Subject: Support multiple GitHub app instances

---
 INSTALL-GITHUB-DEV | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'INSTALL-GITHUB-DEV')

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).
-- 
cgit v1.1