Romain Calascibetta 2cfcb0a714 Rename batch to change_and_push (and implement batch as noop)		2022-10-31 18:13:15 +01: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	Rename batch to change_and_push (and implement batch as noop)	2022-10-31 18:13:15 +01:00