The original design assumed quire-ci would clone over HTTP from
quire-server. The plan now is to clone directly from the local
repo path. server_url is removed; repos_dir will be added to
GlobalConfig when the orchestrator code that consumes it is written.

https://claude.ai/code/session_01YXVu67hVnQSAY8wzmfmRHw

diff --git a/quire-ci/src/quire.rs b/quire-ci/src/quire.rs
index f2d24ab..7a6ff9f 100644
--- a/quire-ci/src/quire.rs
+++ b/quire-ci/src/quire.rs
@@ -17,10 +17,6 @@ pub struct GlobalConfig {
     pub port: u16,
     #[serde(default)]
     pub webhook_secret: Option<quire_core::secret::SecretString>,
-    // Reserved for future use: quire-ci will clone from this URL.
-    #[allow(dead_code)]
-    #[serde(default)]
-    pub server_url: Option<String>,
 }
 
 fn default_port() -> u16 {
@@ -67,7 +63,6 @@ impl Default for GlobalConfig {
             sentry: None,
             port: default_port(),
             webhook_secret: None,
-            server_url: None,
         }
     }
 }