git-kv/dune-project

(lang dune 2.9)
(name git-kv)
(formatting disabled)
(cram enable)
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 19:18:10 +00:00			`(lang dune 2.9)`
initial 2022-09-20 11:13:46 +00:00			`(name git-kv)`
			`(formatting disabled)`
Finally, make the first PoC about git-state 2022-09-27 12:07:51 +00:00			`(cram enable)`