git.py(git_cmd): always pass "-c" "fetch.prune=false" to git#643

Merged

leocardao merged 1 commit intoAdaCore:masterfrom glacambre:wip/override-fetch-setting

Jan 8, 2024

+1-1

Commits on Oct 6, 2023

git.py(git_cmd): always pass "-c" "fetch.prune=false" to git
glacambre
committed