package irmin

Type type for store handles.

The type for store heads.

The type for remote status.

status_t db is the value type for status of remote db.

pp_status pretty-prints return statuses.

fetch t ?depth r populate the local store t with objects for the remote store r, using t's current branch. The depth parameter limits the history depth. Return `Empty if either the local or remote store do not have a valid head.

Same as fetch but raise Invalid_argument if either the local or remote store do not have a valid head.

The type for pull errors.

pp_push_error pretty-prints pull errors.

pull t ?depth r s is similar to fetch but it also updates t's current branch. s is the update strategy:

• `Merge uses Head.merge. Can return a conflict.
• `Set uses S.Head.set.

Same as pull but raise Invalid_arg in case of conflict.

The type for push errors.

pp_push_error pretty-prints push errors.

push t ?depth r populates the remote store r with objects from the current store t, using t's current branch. If b is t's current branch, push also updates the head of b in r to be the same as in t.

Note: Git semantics is to update b only if the new head if more recent. This is not the case in Irmin.

Same as push but raise Invalid_argument if an error happens.