[REF] runbot: Change url of git from ssh to https