Record the current state of our mirror pool in JSON
Now that we’ve made good progress on #8635 (closed), before we can press the big
red button and switch to the new setup (#8642 (closed) + #11109 (closed)), 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 mirrors.mdwn file:
- email address: ask mirror operators if they’re fine with us publishing this info
- random notes: make room for it in the JSON schema
Parent Task: #7161 (closed)
Original created by @intrigeri on 11384 (Redmine)