Romain Calascibetta 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
..
dune	Functorize git-kv with Pclock to save the right time when we commit	2022-10-19 13:00:04 +02:00
mgit.ml	Implement the batch function according to the documentation	2022-10-29 21:18:10 +02:00