automatically generate list of mirrors to monitor from repo JSON
The list to use for official mirrors is in https://f-droid.org/repo/index-v2.json, it is repo.mirrors[]. That is what the clients used, and it is set by the config.yml on the production setup.