irmin
irmin copied to clipboard
mirage
Irmin is a distributed database that follows the same design principles as Git
Would be good to have a way to query a remote database for a partial state: - clone the subtree under `a/b/` - pull everything matching `a/b/*.txt` - ...
`Irmin.history` could take an (optional) diff function as argument and return a graph with diffs between commits on the edges. We should also provide basic diff function for strings and...
Currently the REST API doesn't have access control. Need to add something before being able to use in the wild.
Would be nice to have an encrypted backend, built as a functor on top of an other backend.
It would be nice to have an aggregate value returned from Contents.merge. For instance in IMAP application when two email databases are merged a mailbox statistics needs to be updated...
Not sure what exactly its type should be, neither its semantic, but we nee one. Two options: - either add a specialised search function in the REST API, to work...
> It would also be useful to get the commit object from the merge before > updating the branch. That way, I could try loading it as a sanity >...
could we have a client for java, how to go about it if I want to contribute?
Getting to know know irmin through this tutorial http://kcsrk.info/ocaml/irmin/crdt/2017/02/15/an-easy-interface-to-irmin-library/ and I see that the top level examples don't have proper top level pretty printing.
Would be great if counters could be distinguished from int in their JSON representation, so they could be mixed in the same store with a different merge semantic. This would...