ExternalProject: omit --no-checkout from git clone when using git 2.20.x.
The optimization from !3626 (merged) triggers a bug in the Git 2.20.x series that is not in older or newer versions. Drop the optimization for that specific range of Git versions.
Fixes: #21009 (closed)
Backport: release
Edited by Brad King