Skip to main content

parse_remote_ref

lean_ctx::core::context_package::remote

Function parse_remote_ref 

Source 
pub fn parse_remote_ref(input: &str) -> Option<RemoteRef>
Expand description

Parse a remote reference. Returns None for plain local names (no /).