Prefer https connection to github, to avoid problems when SSH key forwarding is not being used