search

NixOS / ofborg

@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg
https://ofborg.org
MIT License
244 stars 166 forks source link

clone: attempt to clean git if checking out fails #615

Closed cole-h closed 1 year ago

cole-h commented 2 years ago

Somehow, some evaluators have had dirty git checkouts, causing them to continually crash. We can fix this by attempting to cleanup the checkout if we fail to switch to a different commit. If checking out another commit still fails after that, then it is acceptable to crash.

SuperSandro2000 commented 2 years ago

Why are we not using git checkout -f here? I don't think we care about the dirty state and should happily overwrite all changes.

Artturin commented 1 year ago

625