Git ressource identifiers (GRI).
GRIs are similar to URIs, but Git also allows some blend of URL and SSH remote files such as:
git
Git ressource identifier values.
Create a GRI from a string.
Convert a string to a GRI.
Cast to Uri.t.
Uri.t
Cast from Uri.t.
The three transmission protocols.
Return the protocol mode.