package git

  1. Overview
  2. Docs

Git ressource identifiers (GRI).

GRIs are similar to URIs, but Git also allows some blend of URL and SSH remote files such as:

type t

Git ressource identifier values.

val of_string : string -> t

Create a GRI from a string.

val to_string : t -> string

Convert a string to a GRI.

val to_uri : t -> Uri.t

Cast to Uri.t.

val of_uri : Uri.t -> t

Cast from Uri.t.


Innovation. Community. Security.