Merge branch 'curl' into 'master'

Do explicit mirror resolve with curl

See merge request !154
5 jobs for master in 32 minutes and 12 seconds (queued for 3 seconds)