Record the current state of our mirror pool in JSON
Now that we’ve made good progress on
Feature #8635, before we can press the big red button and switch to the new setup ( Feature #8642 + Feature #11109), we need to have a
mirrors.json that reflects the current state of our mirror pool.
And while we’re at it, we’ll need to decide what we do with the bonus information that’s currently in our
- email address: ask mirror operators if they’re fine with us publishing this info
- random notes: make room for it in the JSON schema