set multiple keys at once

[hannesm]

set multiple keys at once

[hannesm]

Thanks for your suggestion. For a future reader, the full code I now use is:

let push_to_branch repository ~branch data =
  let config = Irmin_git.config repository in
  Store.Repo.v config >>= fun repo ->
  Store.of_branch repo branch >>= fun s ->
  Store.tree s >>= fun tree ->
  M.fold (fun k v tree ->
      tree >>= fun tree ->
      Store.Tree.add tree (String.split_on_char '/' k) v)
    data (Lwt.return tree) >>= fun tree ->
  let info =
    let author = "Canopy bot <[email protected]>" in
    Irmin_git_unix.info ~author "%s" "updated" ()
  in
  (Store.Head.find s >|= function
    | None -> []
    | Some commit -> [ Commit.key commit ]) >>= fun parents ->
  Store.Commit.v repo ~info ~parents tree >>= fun commit ->
  Store.Head.set s commit

Thanks again @Ngoguey42

[Ngoguey42]

Hi.

In order to batch operations under a single commit you need to use the irmin trees:

  Store.of_branch repo branch >>= fun s ->
  Store.tree s >>= fun tree ->

  (* add one contents at a time *)
  Store.Tree.add tree (String.split_on_char '/' k) v >>= fun tree -> 

  Store.Commit.v repo ~info ~parents tree >>= fun _commit ->

I hope it helps.