switch to https for repos that seem to support it