Romain Calascibetta 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
..
dune	Functorize git-kv with Pclock to save the right time when we commit	2022-10-19 13:00:04 +02:00
git_kv.ml	Use deepen according what we have.	2022-10-28 15:14:26 +02:00
git_kv.mli	Improve the documentation	2022-10-28 11:56:11 +02:00