Platform_repo.Ssh_syntaxThere are two style of SSH addresses used by popular platforms.
Scp_like: The traditional "scp-like" syntax, e.g. git@github.com:user/repo.git.Url_style: The "ssh://" URL style, e.g. ssh://git@codeberg.org/user/repo.git.This types allows to distinguish between the two and is used as parameter by functions that generate the concrete syntax for a url to a platform repo, to be used e.g. when cloning, or configuring a remote.
val hash : t -> intval seeded_hash : int -> t -> intval sexp_of_t : t -> Sexplib0.Sexp.tval all : t listval used_by_default_on_platform : platform:Platform.t -> tEach platform has a default behavior in that they have a style of ssh url they use when displaying the addresses of the repos. Note that they can probably handle all styles when parsing the url.
Beware, this may probably change overtime as platforms evolve.