|
|
d3263053dc
|
Merge pull request 'Implement a way to serialize the Git state' (#8) from store into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/8
|
2022-09-27 14:30:49 +00:00 |
|
|
|
ccc29951c2
|
Finally, make the first PoC about git-state
|
2022-09-27 14:07:51 +02:00 |
|
|
|
4dafa3a942
|
Add a way to unserialize a state and reconstruct the Git store
|
2022-09-26 19:25:16 +02:00 |
|
|
|
e6254f0439
|
Add a way to serialize Git objects into a block device
|
2022-09-26 19:24:55 +02:00 |
|
|
|
162f633a55
|
opam: add dependencies
|
2022-09-26 13:45:46 +02:00 |
|
|
|
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 |
|
