script: avoid using SSH now that repos and branches are public

Change-Id: Iaea3f79ad5272777d23242c644e4dac42f5f026e
Signed-off-by: Tomás González <tomasagustin.gonzalezorlando@arm.com>
2 files changed