repos.json updated