Fixes #3653 -- attempt to retry git clones up to 3 times (#3660)

1 file changed