Omit HTTP mirrors that also support HTTPS

There is no reason to use HTTP when HTTPS is available.

Fixes #2 (closed)

Merge request reports

Loading