Commit graph

108 commits

Author SHA1 Message Date
7b388c029a Use deepen according what we have.
If we have nothing, we just want the last commit, if we have something, we want
commits between what we have and what the server has. Then, we shallow
correctly our internal store to still keep only one commit.
2022-10-28 15:14:26 +02:00
631249e333 Merge pull request 'Fix the push function' (#20) from push-before-shallow into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/20
2022-10-28 13:11:34 +00:00
993db937f8 Don't retry if push fail into the batch function 2022-10-28 14:14:40 +02:00
6bf4dc7f07 Improve the documentation 2022-10-28 11:56:11 +02:00
5aa887f48f Be sure to shallow to our last commit after a push from batch 2022-10-28 11:13:18 +02:00
d7765ff6aa Shallow only when we push 2022-10-28 10:59:27 +02:00
934ed7d960 Serialize sequence of batches operations 2022-10-28 10:49:59 +02:00
98bd2bfe3c Implement correctly a batch operation (which will push at the end of the given closure and provide a Local sub-module to be able to manipulate the Git repository without connections 2022-10-27 16:29:12 +02:00
6d6b0bd9c7 Add README.md 2022-10-24 11:06:44 +02:00
30d5ad365a Complete the implementation with push and improve the documentation 2022-10-24 10:44:21 +02:00
d49a406691 Fix set and remove function 2022-10-22 00:46:33 +02:00
bc99b9d25f And don't forget to set the reference with the last commit 2022-10-22 00:35:41 +02:00
d1cfefb53b Implement {set,remove,rename}_and_push and delete push function
All of these actions "shallow" the last commit. A subsequent `push`
will do nothing due to that incapacity to walk through the history
due to the shallowed commit. To be able to push the last change,
we must provide {set,remove,rename} functions with an explicit
call to push **before** the "shallow".
2022-10-22 00:18:01 +02:00
4734261144 Merge pull request 'Delete useless pin-depends, everything were released' (#19) from delete-pin-depends into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/19
2022-10-21 14:49:23 +00:00
91c65b57df Delete useless pin-depends, everything were released 2022-10-21 16:47:53 +02:00
46dfef5d4a Merge pull request 'Fix bad bytes when we want to emit an empty PACK file' (#18) from empty-pack-file into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/18
2022-10-21 14:37:15 +00:00
da5ed53013 Fix bad bytes when we want to emit an empty PACK file 2022-10-21 16:36:55 +02:00
92b9e45451 Merge pull request 'Delete an assert false and replace it by an empty PACK file' (#17) from empty-pack-file into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/17
2022-10-21 14:24:52 +00:00
c4012613e3 Delete an assert false and replace it by an empty PACK file 2022-10-21 16:24:10 +02:00
9c02126c7d Merge pull request 'val size is part of mirage_kv.RO since 5.0.0, no need to specially export it' (#16) from no-need-for-size into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/16
2022-10-21 09:09:26 +00:00
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
781bc5b2d9 Merge pull request 'Functorize with PCLOCK' (#15) from functorize-pclock into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/15
2022-10-19 13:20:09 +00: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
7323b8f065 Merge pull request 'add-push' (#14) from add-push into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/14
2022-10-19 09:43:28 +00:00
3ff46e50ac Implement the push function 2022-10-19 11:37:41 +02:00
36ceb8a0cd The application requires git-unix 2022-10-19 11:37:12 +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
7be3a3dc62 Merge pull request 'Full implementation of git-kv over the Mirage_kv.RW intf.' (#10) from full-impl into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/10
2022-10-14 12:58:33 +00:00
6e1d80af4f Merge pull request 'Fix tests, we use %S to print segments' (#12) from fix-tests into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/12
2022-10-14 11:17:49 +00:00
c60a9c9a71 Speed-up to way to unserialize a PACK file 2022-10-14 13:16:45 +02:00
9fd76eeacf Fix tests, we use %S to print segments 2022-10-12 11:59:08 +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
d327bfe114 Merge pull request 'use hexdump instead of base64' (#9) from minor into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/9
2022-09-27 14:48:31 +00:00
ac32357910 use hexdump instead of base64 2022-09-27 16:45:34 +02:00
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