Skip to main content

initialize_agent_gitlab

lean_ctx::gitlab_bootstrap

Function initialize_agent_gitlab 

Source 
pub fn initialize_agent_gitlab(
    source: Selection,
    glab: &Path,
    config_dir: Option<&Path>,
    project: &Path,
) -> Result<(), String>
Expand description

SDK hosts select metadata only; the Engine retains the same bounded, in-memory credential reader and immutable provider binding as Codex.