Move src/github_installations to bot-components (#350)

lykimq · web-flow · commit 74f88454b847 · 2025-11-10T09:18:30.000+01:00
Depend on #349
diff --git a/bot-components/Github_installations.ml b/bot-components/Github_installations.ml
@@ -1,6 +1,5 @@
 open Base
-open Bot_components
-open Helpers
+open Utils
 open Lwt
 
 let installation_ids : (string, int) Base.Hashtbl.t =
diff --git a/bot-components/Github_installations.mli b/bot-components/Github_installations.mli
@@ -1,5 +1,3 @@
-open Bot_components
-
 val installation_ids : (string, int) Base.Hashtbl.t
 
 val installation_tokens : (int, string * float) Base.Hashtbl.t

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-open Bot_components`
`2`		`-`
`3`	`1`	`val installation_ids : (string, int) Base.Hashtbl.t`
`4`	`2`
`5`	`3`	`val installation_tokens : (int, string * float) Base.Hashtbl.t`