Commit graph

95 commits

Author SHA1 Message Date
033c6bb800 roburio -> robur-coop 2023-09-09 11:56:35 +02:00
0e6eab102f Merge pull request 'Add the branch accessor' (#30) from add-branch-accessor into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/30
2023-03-16 11:12:55 +00:00
999e9d6968
Add the documentation about Git_kv.branch 2023-03-15 11:45:17 +01:00
a8ab45f2be
Add the branch accessor 2023-03-15 11:43:36 +01:00
73bdcba54b changes for 0.0.3 2022-12-16 17:17:16 +01:00
1b090c7e63 Merge pull request 'change_and_push: be able to specify author and message' (#28) from provide-author into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/28
2022-12-16 16:15:41 +00:00
f5fa3857c1 change_and_push: be able to specify author and message 2022-12-15 13:29:19 +01:00
12261fc13a opam: requires mirage-clock 2.0.0 2022-12-14 17:25:03 +01:00
1f85d14271 opam: raise dune bound, add testing 2022-12-14 16:52:05 +01:00
3a721fd4cd opam: require git 3.10.0 (for Git.Reference.main) 2022-12-14 16:46:41 +01:00
19fdea8693 changes for 0.0.2 2022-12-14 16:45:53 +01:00
d27fd751e1 support for mirage-kv 6.0.0 (#27)
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/27
2022-12-14 15:43:09 +00:00
eab6bf4e3c Merge pull request 'Delete unix transitive deps from our tests' (#25) from remove-transitive-unix-deps into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/25
2022-12-02 14:48:26 +00:00
59fa969129 Delete unix transitive deps from our tests 2022-12-02 14:23:49 +01:00
fc2e17f4c2 Merge pull request 'minor refactorings and updates' (#24) from more into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/24
2022-11-07 11:08:34 +00:00
ad55d4888e mgit: print error if change_and_push failed (as suggested by @reynir) 2022-11-05 17:01:33 +01:00
cb37018a84 avoid Result.get_ok, as suggested by @reynir, to preserve the error 2022-11-05 14:57:55 +01:00
45657fdf32 change_and_push may return an error, report it 2022-11-04 10:48:44 +01:00
8e14c13ddc use Git.Reference.main, avoid msgf binding only used once 2022-11-04 10:43:27 +01:00
8c7562ea16 avoid rresult, use result instead 2022-11-04 10:42:30 +01:00
6fdede7310 M-x whitespace-cleanup 2022-11-04 10:41:40 +01:00
57d7a3d3a9 Fill the OPAM file with the license 2022-11-03 14:58:10 +01:00
181b5328db Add LICENSE.md 2022-11-03 14:56:43 +01:00
495819c691 Use the GitHub mirror on OPAM metadata 2022-11-02 16:49:50 +01:00
d8972ff629 Prepare v0.0.1 2022-11-02 16:47:36 +01:00
cc70aeb3f1 Check if git-daemon exists and execute tests then 2022-11-02 15:46:53 +01:00
888605dd22 Fix the test with hxd's output 2022-11-01 17:03:32 +01:00
115f3a2f6b Use hxd.xxd instead of hexdump 2022-11-01 15:14:36 +01:00
50ce95b8bd Add conf-git as a dependency for tests 2022-11-01 14:57:22 +01:00
2cfcb0a714 Rename batch to change_and_push (and implement batch as noop) 2022-10-31 18:13:15 +01:00
32c802e176 Merge pull request 'Rename batch to change_and_push and re-instantiate batch as a noop function' (#23) from fix-batch into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/23
2022-10-31 16:07:57 +00:00
ed3bfa2dc3 Improve the documentation and the README.md 2022-10-31 16:47:52 +01:00
64fc2402ab Don't try to push if the tree_root still is the same
If the user just read into the batched function and does not change anything,
we just return the result.
2022-10-29 22:30:12 +02:00
b5fa25d9a5 Implement the batch function according to the documentation
This implementation is much more close to the documentation & fold all
changes into one commit. Then, it pushes this commit remotely. This
commit deleted local changes which complexify the codebase for a
questionable interest. As the documentation said, any changes are
delayed and not directly "committed" until the end of the given
function. For instance:
> batch
> set /bar "Bar"
> exists /bar
/bar does not exists

is an expected behavior. Only after a quit (which delimit the end of the
batch process), /bar will be committed and will exist!
2022-10-29 21:18:10 +02:00
e16dcce930 Rename batch to change_and_push and re-instantiate batch as a noop function 2022-10-28 16:38:32 +02:00
a1da5157f9 Improve the README.md with the new intf. 2022-10-28 15:34:36 +02:00
3433ec4c6f Merge pull request 'Use deepen according what we have' (#22) from fix-pull-out-of-sync into main
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/22
2022-10-28 13:17:36 +00:00
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