Commit graph

15 commits

Author SHA1 Message Date
682de3e8b8 fix search invocation so that something is found 2022-09-26 12:03:12 +02:00
79dd40ba70 adapt to opam lint 2022-09-26 11:31:14 +02:00
eba43a65cb Merge pull request 'Fix the pull and usage of branch' (#4) from fix-pull into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/4
2022-09-23 10:43:28 +00:00
6e565ae92a Fix the pull and usage of branch 2022-09-23 12:39:36 +02:00
8c89d15f1b Merge pull request 'Add the diff impl. and use it into the pull function' (#2) from add-diff into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/2
2022-09-22 10:51:17 +00:00
ea305b7ad6 Add the diff impl. and use it into the pull function 2022-09-21 14:43:41 +02:00
90b8959fc1 Merge pull request 'Implement few functions' (#1) from little-improve into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/1
2022-09-21 11:05:26 +00:00
503bf47ccb Implement list function 2022-09-21 12:02:34 +02:00
ad09080ee6 Remove an assert false and return an error instead of 2022-09-21 12:02:19 +02:00
2ef62f3307 Implement exists function 2022-09-21 12:01:51 +02:00
b1bfa51f2f make it compile 2022-09-20 16:26:18 +02:00
9bf023ef2c revise pull 2022-09-20 14:22:13 +02:00
4d80d920d9 add a pull 2022-09-20 14:21:01 +02:00
d124201bf3 less exceptions 2022-09-20 13:27:49 +02:00
65c8202565 initial 2022-09-20 13:13:46 +02:00