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.
#2 Updated by intrigeri about 1 year ago
- Status changed from Confirmed to Duplicate
- Assignee deleted (
- Target version deleted (
Marking this as a duplicate of #12407, that I've reassigned to you. I've also set the closest target version to what I guessed you meant with "2017" ("2017" == on our roadmap for this year, which I believe is incorrect since we never decided that).
Thanks for jumping in!