updated repos.json format