Remote (p.irmin-pack.3.11.0.doc.irmin-pack.unix.Irmin_pack

Remote synchronization

Sourcetype t

The type for store handles.

Sourcetype commit = Commit.key

The type for store heads.

Sourcetype branch = Branch.key

The type for branch IDs.

Sourcetype endpoint = endpoint

The type for sync endpoints.

Source

val fetch : 
  t ->
  ?depth:int ->
  endpoint ->
  branch ->
  (commit option, [ `Msg of string ]) result Lwt.t

fetch t uri fetches the contents of the remote store located at uri into the local store t. Return the head of the remote branch with the same name, which is now in the local store. No_head means no such branch exists.

Source

val push : 
  t ->
  ?depth:int ->
  endpoint ->
  branch ->
  (unit, [ `Msg of string | `Detached_head ]) result Lwt.t

push t uri pushes the contents of the local store t into the remote store located at uri.

Sourceval v : Repo.t -> t Lwt.t