Delete repos.json