Use the git:// syntax, not https syntax

it keeps our linux bots happy