Platform_repo.Ssh_syntax
There 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 -> int
val seeded_hash : int -> t -> int
val sexp_of_t : t -> Sexplib0.Sexp.t
val all : t list
val used_by_default_on_platform : platform:Platform.t -> t
Each 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.