Write documentaiton about the CI mirrors
There are no docs ATM.
We need some.
Blocking until infra-docs are switched to mkdocs or another solution for showing tables is adopted.
Yeah I got access to the "admin" button now. As I suspected we're using Sphinx ATM, I'll switch us to Mkdocs, but it'll require moving some files around.
- Just added you(by your readthedocs username: bkorren), give it a try.
can you grant me ownership of the project in readthedocs so I can check how it is configured?
It looks like the mirror list table did not get rendered properly by readthedocs:
This is despite it being rendered just fine by GitHub and our own check-patch and check-merged scripts.