Update repository.json

Testing alternative repos.