Closed jlewi closed 2 weeks ago
We were periodically seeing errors opening up a previously cloned repository (#98)
As noted in #98 it looks like certain critical .git files were missing leading to the local copy of the git repository to be corrupt.
The hypothesis is that since we are using a temporary directory the OS might periodically GC the files
In this case we can try to delete/rename the existing directory and then reclone the repository
I chose to do a rename rather than a deletion to minimize the risk of data loss in the event we delete something that shouldn't be deleted.
Fix #98
We were periodically seeing errors opening up a previously cloned repository (#98)
As noted in #98 it looks like certain critical .git files were missing leading to the local copy of the git repository to be corrupt.
The hypothesis is that since we are using a temporary directory the OS might periodically GC the files
In this case we can try to delete/rename the existing directory and then reclone the repository
I chose to do a rename rather than a deletion to minimize the risk of data loss in the event we delete something that shouldn't be deleted.
Fix #98