Skip to content

Remove local clone before retrying `git clone`

Yorick Peterse requested to merge rm-retry-clone into master

When the directory is left behind, git clone will refuse to clone. To work around this, we remove the target directory before retrying.

Merge request reports