Improvements to `opam init` "Git" menu on Windows#5963

Merged

rjbou merged 8 commits intoocaml:masterfrom dra27:gwf-menu

Jun 4, 2024

+413-13

Commits on Jun 3, 2024

Skip the Git-for-Windows menu at init if git found

dra27
authored and
rjbou
committed

Commits on Jun 4, 2024