`opam source --dev` fetching git repositories without `--depth 1`#5888

Merged

kit-ty-kate merged 3 commits intoocaml:masterfrom moyodiallo:full-fetch

Apr 5, 2024

+111-33

Commits on Apr 4, 2024

Add test in source to show retrieval of full git repository history when retrieved with opam source --dev, and no change for opam repository checkout

committed
Avoid opam source --dev command fetches git repository with --depth 1

moyodiallo
authored and
rjbou
committed
repository: add some documentation
rjbou
committed