Add HTTPS protocol to some HTTPS-capable mirrors

Merged Philip Müller requested to merge https-set-1 into master

Created by: jonathonf

Checking a few mirrors, some are HTTPS-capable. This PR updates those mirrors.

Merge request reports