Commit graph

7 commits

Author SHA1 Message Date
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
2cfcb0a714 Rename batch to change_and_push (and implement batch as noop) 2022-10-31 18:13:15 +01: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
83be2b3f25 Functorize git-kv with Pclock to save the right time when we commit 2022-10-19 13:00:04 +02:00
5bf7476f80 Full implementation of git-kv over the Mirage_kv.RW intf. 2022-09-28 13:21:28 +02:00
ccc29951c2 Finally, make the first PoC about git-state 2022-09-27 14:07:51 +02:00