|
|
49c406bc01
|
val size is part of mirage_kv.RO since 5.0.0, no need to specially export it
|
2022-10-21 01:24:05 +02:00 |
|
|
|
52c9f3aac6
|
Improve the documentation
|
2022-10-19 15:17:31 +02:00 |
|
|
|
a5aedf8c90
|
Be sure to shallow the last commit we made when we set the store
|
2022-10-19 13:04:15 +02:00 |
|
|
|
83be2b3f25
|
Functorize git-kv with Pclock to save the right time when we commit
|
2022-10-19 13:00:04 +02:00 |
|
|
|
3ff46e50ac
|
Implement the push function
|
2022-10-19 11:37:41 +02:00 |
|
|
|
1a236e190b
|
Merge pull request 'Speed-up to way to unserialize a PACK file' (#13) from speed-up into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/13
|
2022-10-14 12:58:48 +00:00 |
|
|
|
c60a9c9a71
|
Speed-up to way to unserialize a PACK file
|
2022-10-14 13:16:45 +02:00 |
|
|
|
5bf7476f80
|
Full implementation of git-kv over the Mirage_kv.RW intf.
|
2022-09-28 13:21:28 +02:00 |
|
|
|
8e8f002d5e
|
revive get_partial and size (needed by mirage-kv 5)
|
2022-09-27 17:09:48 +02:00 |
|
|
|
6c58b74f6a
|
remove superfluous file
|
2022-09-27 17:08:32 +02: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 |
|
|
|
682de3e8b8
|
fix search invocation so that something is found
|
2022-09-26 12:03:12 +02:00 |
|
|
|
6e565ae92a
|
Fix the pull and usage of branch
|
2022-09-23 12:39:36 +02:00 |
|
|
|
ea305b7ad6
|
Add the diff impl. and use it into the pull function
|
2022-09-21 14:43:41 +02: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 |
|
