Donal McBreen 2c2053558a Handle corrupt git clones ...

When cloning the git repo:
1. Try to clone
2. If there's already a build directory reset it
3. Check the clone is valid

If anything goes wrong during that process:
1. Delete the clone directory
2. Clone it again
3. Check the clone is valid

Raise any errors after that

2024-05-27 11:17:34 +01:00

25 KiB

Raw Blame History

View Raw