Don't delete repo cache if server not found, closes #55