From 5d4d9c3904a5bb7bd424d0bf0629265cd37ee6a7 Mon Sep 17 00:00:00 2001
From: Cole Helbling <cole.e.helbling@outlook.com>
Date: Sun, 19 May 2024 13:00:16 -0700
Subject: [PATCH] Drop unused installation_id parameter

We auto-discover the correct installation ID absed on the repostory
context.
---
 ofborg/src/config.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ofborg/src/config.rs b/ofborg/src/config.rs
index 8f0e398..4522337 100644
--- a/ofborg/src/config.rs
+++ b/ofborg/src/config.rs
@@ -55,7 +55,6 @@ pub struct GithubConfig {
 #[derive(Serialize, Deserialize, Debug, Clone)]
 pub struct GithubAppConfig {
     pub app_id: u64,
-    pub installation_id: u64,
     pub private_key: PathBuf,
 }