Drop unused installation_id parameter

We auto-discover the correct installation ID absed on the repostory context.
2024-05-19 13:00:16 -07:00 · 2024-05-19 13:00:16 -07:00 · 5d4d9c3904
parent 2aeca1fb72
commit 5d4d9c3904
1 changed files with 0 additions and 1 deletions
--- 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,
 }