Skip to content

Re-download checkout if failing to reset#40

Merged
Jeehut merged 5 commits intostablefrom work/#27-handle-failing-repo-resetMay 9, 2019