Correct repository url

It's `https://` instead, though it would automatically redirect.