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
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
