irmin
irmin copied to clipboard
Add a "search" functions to the API
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 over JSON documents only.
- or add a
search
function toContents.S
and let the users define their own search function (as they already do for the merges).