Implement mirror weights
Our mirror scripts to already take into account that mirrors can have weights. Those with higher weights are selected more often. We did not fully implement this in mirrors.json though and we should do that at some point.
Related issues
- Is duplicate of #12407
Original created by @u on 14604 (Redmine)