use https instead of git protocol

Because some servers block the usage of the git protocol.